Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Schmidt-Schau??, Manfred:

ISBN 10: 3540517057 / ISBN 13: 9783540517054

Editore: Springer, 1989

Riguardo questo articolo

184 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 270 23,1 x 15,2 x 1,3 cm, Taschenbuch. Codice articolo 370895

Dati bibliografici

Titolo: Computational Aspects of an Order-Sorted ...

Casa editrice: Springer

Data di pubblicazione: 1989

Legatura: Brossura

Condizione: Sehr gut

Edizione: Auflage: 1989.

Descrizione articolo

Contenuti:

Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.