A Semantic Framework for the Declarative Debugging of Wrong and Missing Answers in Declarative Constraint Programming
None
Saved in:
| Main Authors: | Vírseda, Rafael del Vado, Morente, Fernando Pérez |
|---|---|
| Format: | Electronic Book Chapter |
| Language: | English |
| Published: |
IntechOpen
2012
|
| Subjects: | |
| Online Access: | https://www.intechopen.com/chapters/36003 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
The Tuam declaration /
Published: (1982) -
The Istanbul Declaration
by: Editorial Article
Published: (2018-08-01) -
The “Hungarian Barmen”. The Impact and Reception of the Declaration of Confession and the Barmen Declaration in Hungary
by: András CSŰRÖS
Published: (2024-07-01) -
The story of the Declaration of Independence /
by: Malone, Dumas, 1892-
Published: (1954) -
Verification of declarative LTL-specification of control programs behavior
by: Maxim V. Neyzov, et al.
Published: (2024-06-01)


