Computational Aspects of an Order-Sorted Logic with Term Declarations
(Sprache: Englisch)
Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.
Leider schon ausverkauft
versandkostenfrei
Buch
37.44 €
18 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Computational Aspects of an Order-Sorted Logic with Term Declarations “
Klappentext zu „Computational Aspects of an Order-Sorted Logic with Term Declarations “
Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.
Inhaltsverzeichnis zu „Computational Aspects of an Order-Sorted Logic with Term Declarations “
Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.
Bibliographische Angaben
- Autor: Manfred Schmidt-Schauß
- 2007, 1989, 174 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Verlag: Springer
- ISBN-10: 3540517057
- ISBN-13: 9783540517054
- Erscheinungsdatum: 20.09.1989
Sprache:
Englisch
Kommentar zu "Computational Aspects of an Order-Sorted Logic with Term Declarations"
0 Gebrauchte Artikel zu „Computational Aspects of an Order-Sorted Logic with Term Declarations“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Computational Aspects of an Order-Sorted Logic with Term Declarations".
Kommentar verfassen