Constraint Solving and Language Processing

EISBN:9783642415784
PISBN:9783642415777
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2013
作者:Denys Duchier,Yannick Parmentier
主题词:Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Artificial Intelligence (incl. Robotics),Software Engineering,Programming Languages,Compilers,Interpreters,Information Storage and Retrieval
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Constraint Solving and Language Processing

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

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

Semirings for Soft Constraint Solving and Programming

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