Computational Aspects of an Order-Sorted Logic with Term Declarations de Manfred Schmidt-Schauß

Computational Aspects of an Order-Sorted Logic with Term Declarations: Lecture Notes in Computer Science, cartea 395

Autor Manfred Schmidt-Schauß

en Limba Engleză Paperback – 20 sep 1989

Din seria Lecture Notes in Computer Science

Preț: 290^.02 lei

Preț vechi: 362^.52 lei
-20% Nou

Puncte Express: 435

:
55^.51€ • 58^.56$ • 46^.26£

Carte tipărită la comandă

Livrare economică 03-17 ianuarie 25

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540517054
ISBN-10: 3540517057
Pagini: 184
Ilustrații: X, 174 p.
Dimensiuni: 155 x 235 x 10 mm
Greutate: 0.27 kg
Ediția:1989
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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