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