The Clausal Theory of Types
Häftad, Engelska, 2009
509 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Finns i fler format (1)
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
Produktinformation
- Utgivningsdatum2009-07-30
- Mått170 x 244 x 7 mm
- Vikt230 g
- SpråkEngelska
- SerieCambridge Tracts in Theoretical Computer Science
- Antal sidor136
- FörlagCambridge University Press
- EAN9780521117906