Computational Logic

EISBN:9783642762741
PISBN:9783642762765
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1990
作者:John W. Lloyd
主题词:Artificial Intelligence (incl. Robotics),Programming Techniques,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Models and Principles,Mathematical Logic and Foundations
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Computational Logic

  • 作者:J.W. Lloyd
  • EISBN:9783642762741
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1990

Computational Logic

  • 作者:Ulrich Berger,Helmut Schwichtenberg
  • EISBN:9783642586224
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1999

Computational Logic

  • 作者:Gabbay,Dov M.
  • PISBN:9780444516244
  • 出版时间:2014

Computational Logic

  • 作者:Ulrich Berger,Helmut Schwichtenberg
  • EISBN:9783642586224
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1999

Computational Logic: Logic Programming and Beyond

  • 作者:Antonis C. Kakas,Fariba Sadri
  • EISBN:9783540456322
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002

Computational Logic: Logic Programming and Beyond

  • 作者:Antonis C. Kakas,Fariba Sadri
  • EISBN:9783540456285
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002