- Anglický jazyk
Computational Aspects of an Order-Sorted Logic with Term Declarations
Autor: Manfred Schmidt-Schauß
Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.
Viac o kniheNa objednávku
34.64 €
bežná cena: 38.49 €
O knihe
Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.
- Vydavateľstvo: Springer Berlin Heidelberg
- Rok vydania: 1989
- Formát: Paperback
- Rozmer: 235 x 155 mm
- Jazyk: Anglický jazyk
- ISBN: 9783540517054