Computational Logic: Logic Programming and Beyond

EISBN:9783540456322
PISBN:9783540439608
出版社:Springer Berlin Heidelberg
出版类型:Commemorative publication
出版时间:2002
版次:2002
作者:Antonis C. Kakas,Fariba Sadri
主题词:Computer Science,Software Engineering,Programming and Operating Systems,Programming Techniques,Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation
语种:英语
相关推荐

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

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 and Programming

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