Liknande böcker

Grammatical Inference: Algorithms and Applications: 5th International Co...
Bok av Arlindo L. Oliveira
Deontic Logic in Computer Science: 7Th International Workshop on Deontic...
Bok av Donald Nute
Higher-Order Algebra, Logic, and Term Rewriting : Second International W...
Bok av Gilles Dowek
The Automation of Reasoning with Incomplete Information : From Semantic...
Bok av Torsten Schaub
Logics in AI : proceedings
Bok av Jan Van Eijck
Foundations of Equational Logic Programming
Bok av Steffen Hölldobler
Logics in Artificial Intelligence
Bok av Craig MacNish
Non-Monotonic Extensions of Logic Programming : ICLP '94 Workshop, Santa...
Bok av Louis M Pereira

Bürckert, H: Resolution Principle for a Logic with Restricte

Bok av Hans-Jürgen Bürckert