Reasoning in Simple Type Theory
Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Häftad, Engelska, 2008
Av Christoph Benzmueller, Chad E Brown, Joerg Siekmann, Chad E. Brown
399 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
- SpråkEngelska
- Antal sidor480
- FörlagCollege Publications
- EAN9781904987703