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

Data & IT

Computational Aspects of an Order-Sorted Logic with Term Declarations

Name: Computational Aspects of an Order-Sorted Logic with Term Declarations
Price: 539 SEK
Availability: InStock
Author: Manfred Schmidt-Schau
ISBN: 9783540517054

Manfred Schmidt-Schau

Pocket

539:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

174 sidor
1989

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

Författare: Manfred Schmidt-Schau
Format: Pocket/Paperback
ISBN: 9783540517054
Språk: Engelska
Antal sidor: 174
Utgivningsdatum: 1989-09-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K