Reasoning in Simple Type Theory
Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Häftad, Engelska, 2008
AvChristoph Benzmueller,Chad E Brown,Joerg Siekmann,Chad E. Brown
389 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2008-12-01
- Mått156 x 234 x 24 mm
- Vikt668 g
- FormatHäftad
- SpråkEngelska
- Antal sidor480
- FörlagCollege Publications
- ISBN9781904987703