Computational Logic: Logic Programming and Beyond

EISBN:9783540456285
PISBN:9783540439592
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2002
作者:Antonis C. Kakas,Fariba Sadri
主题词:Artificial Intelligence (incl. Robotics),Programming Techniques,Mathematical Logic and Formal Languages
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

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:9783540456322
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002

Computational Logic: Logic Programming and Beyond

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

Logic Programming

  • 作者:Isaac Balbin,Koenraad Lecot
  • EISBN:9789400950443
  • 出版社:Springer Netherlands
  • 出版时间:1985

Logic Programming

  • 作者:Peter J. Stuckey
  • EISBN:9783540456193
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002

Logic Programming

  • 作者:Maurizio Gabbrielli,Gopal Gupta
  • EISBN:9783540319474
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2005