Computational Logic: Logic Programming and Beyond

EISBN:9783540456285
PISBN:9783540439592
出版社:Springer Berlin Heidelberg
出版类型:Commemorative publication
出版时间:2002
版次:2002
作者:A.C. Kakas,F. Sadri
主题词:Computer Science,Computer System Implementation,Software Engineering,Programming and Operating Systems,Programming Techniques,Mathematical Logic and Formal Languages
语种:英语
相关推荐

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

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

Logic Programming

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

Logic and Programming

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

Logic Programming

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