Constraint Solving and Planning with Picat

EISBN:9783319258836
PISBN:9783319258812
出版社:Springer International Publishing
出版类型:Brief
出版时间:2015
版次:1st ed. 2015
作者:Neng-Fa Zhou,Håkan Kjellerstrand,Jonathan Fruhman
主题词:Artificial Intelligence (incl. Robotics),Theory of Computation,Data Mining and Knowledge Discovery
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Geometric Constraint Solving and Applications

  • 作者:Beat Brüderlin,Dieter Roller
  • EISBN:9783642588983
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1998

Constraint Solving and Language Processing

  • 作者:Henning Christiansen,Peter Rossen Skadhauge,Jørgen Villadsen
  • EISBN:9783540319283
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2005

Semirings for Soft Constraint Solving and Programming

  • 作者:Stefano Bistarelli
  • EISBN:9783540259251
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004

Geometric Constraint Solving and Applications

  • 作者:Beat Brüderlin,Dieter Roller
  • EISBN:9783642588983
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1998

Constraint Solving and Language Processing

  • 作者:Denys Duchier,Yannick Parmentier
  • EISBN:9783642415784
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2013

Semirings for Soft Constraint Solving and Programming

  • 作者:Stefano Bistarelli
  • EISBN:9783540259251
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004