Logic Programming

EISBN:9783642028465
PISBN:9783642028458
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2009
作者:Patricia M. Hill,David S. Warren
主题词:Mathematics of Computing,Artificial Intelligence (incl. Robotics),Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages,Compilers,Interpreters,Programming Techniques
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Logic Programming

  • 作者:A. Voronkov
  • EISBN:9783540470830
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1992

Logic Programming

  • 作者:Philippe Codognet
  • EISBN:9783540456353
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Logic and Programming

  • 作者:Michel. Parent
  • EISBN:9781461598589
  • 出版社:Springer US
  • 出版时间:1984

Logic Programming

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

Logic Programming

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

Logic Programming

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