1229:-
Uppskattad leveranstid 5-10 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Pocket/Paperback 519:-
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
- Format: Inbunden
- ISBN: 9780521395380
- Språk: Engelska
- Antal sidor: 134
- Utgivningsdatum: 1993-04-22
- Förlag: Cambridge University Press