Computational Aspects of an Order-Sorted Logic with Term Declarations - Cover

Details

ISBN/EAN: 978-3-540-51705-4

Einband: kartoniertes Buch

Erschienen am:
20.09.1989

Sprache:
English

Umfang:
x, 174 S.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg

Weitere Details arrow_forward_ios

Manfred Schmidt-Schauß

Computational Aspects of an Order-Sorted Logic with Term Declarations

Name: Computational Aspects of an Order-Sorted Logic with Term Declarations von Manfred Schmidt-Schauß (kartoniertes Buch)
Brand: Springer Verlag GmbH
SKU: 9783540517054
Price: 37.44 EUR
Availability: InStock

Lecture Notes in Computer Science 395 - Lecture Notes in Artificial Intelligence

Springer Verlag GmbH

37,44 €

inkl. MwSt.

excl. Versandkosten

Lieferbar innerhalb 1 - 2 Wochen

Zur Wunschliste hinzufügen

heart_plus

Über Manfred Schmidt-Schauß

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