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:9783540456285
  • 出版社: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