
Manfred Schmidt-Schauß
Broschiertes Buch
Computational Aspects of an Order-Sorted Logic with Term Declarations
Versandfertig in 1-2 Wochen
PAYBACK Punkte
14 °P sammeln!
Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.
Produktbeschreibung
- Lecture Notes in Computer Science 395
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-51705-4
- 1989
- Seitenzahl: 184
- Erscheinungstermin: 20. September 1989
- Englisch
- Abmessung: 235mm x 155mm x 11mm
- Gewicht: 287g
- ISBN-13: 9783540517054
- ISBN-10: 3540517057
- Artikelnr.: 23149492
Herstellerkennzeichnung
Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
ProductSafety@springernature.com
Für dieses Produkt wurde noch keine Bewertung abgegeben. Wir würden uns sehr freuen, wenn du die erste Bewertung schreibst!
Eine Bewertung schreiben
Eine Bewertung schreiben
Andere Kunden interessierten sich für