First-order logic as a constraint programming language

Authors
Publication date 2002
Journal Lecture Notes in Computer Science
Volume | Issue number 2514
Pages (from-to) 19-35
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Note Proceedings title: Proc. Logic for Programming, Artificial Intelligence and Reasoning
Publisher: Springer Verlag
Place of publication: Berlin
Published at https://doi.org/10.1007/3-540-36078-6_2
Permalink to this page
Back