Liknande böcker

Automated Deduction - CADE-11 : 11th International Conference on Automat...
Bok av International Conference on Automated Deduction
Handbook of Logic in Artificial Intelligence and Logic Programming
Bok av Dov M. (EDT) Gabbay och Christopher John (EDT) Hogger m.fl.
Handbook of Logic in Artificial Intelligence and Logic Programming: Volu...
Bok av Dov M. Gabbay
Handbook of Spatial Logics
Bok av Marco Aiello
Resolution Methods for the Decision Problem
Bok av C Fermuller
Logics in AI : proceedings
Bok av Jan Van Eijck
Nonmonotonic reasoning : an overview
Bok av Gerhard Brewka
Rough Sets
Bok av Z. Pawlak

Computational Aspects of an Order-Sorted Logic with Term Declarations

Bok av Manfred Schmidt-Schauss
Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.