Explanations and proof trees
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | Slovak English |
| PhysicalDescription: | Fotogr. |
| ISSN: | 1335-9150 |
| Subjects: |
Similar Items
An Operational Semantics Approach to Disciplined Exceptions in Logic Programming
by: Shih, Timothy K., et al.
by: Shih, Timothy K., et al.
Lifting of L-Narrowing Derivations
by: Bachmann, Peter
by: Bachmann, Peter
Construction of Belief Sets for Logic Programs and Default Theories
by: You, Jia-Huai, et al.
by: You, Jia-Huai, et al.
Shapiro, Ehud: Proceedings of the third international conference on logic programming
by: Štěpánek, Petr, iný, et al.
by: Štěpánek, Petr, iný, et al.
