Constraint Solving and Language Processing

EISBN:9783540319283
PISBN:9783540261650
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2005
作者:Henning Christiansen,Peter Rossen Skadhauge,Jørgen Villadsen
主题词:Artificial Intelligence (incl. Robotics),Programming Techniques,Programming Languages,Compilers,Interpreters,Mathematical Logic and Formal Languages
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Constraint Solving and Language Processing

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

Constraint Processing

  • 作者:Manfred Meyer
  • EISBN:9783540492818
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1995

Constraint Processing

  • 作者:Rina Dechter
  • PISBN:9781558608900
  • 出版时间:Pre 2007

Constraint Processing

  • 作者:Manfred Meyer
  • EISBN:9783540492818
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1995

Geometric Constraint Solving and Applications

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

Constraint Solving and Planning with Picat

  • 作者:Neng-Fa Zhou,Håkan Kjellerstrand,Jonathan Fruhman
  • EISBN:9783319258836
  • 出版社:Springer International Publishing
  • 出版时间:2015