Reasoning in Simple Type Theory
Christoph Benzmueller, Chad E Brown, Joerg Siekmann
Häftad, 2008
409 kr
Automated Reasoning in Higher-order Logic
Set Comprehension and Extensionality in Church's Type Theory
Häftad, Engelska, 2007
409 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2007-10-22
- Mått156 x 234 x 29 mm
- Vikt781 g
- FormatHäftad
- SpråkEngelska
- Antal sidor564
- FörlagCollege Publications
- ISBN9781904987574
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Reasoning in Simple Type Theory
Christoph Benzmueller, Chad E Brown, Joerg Siekmann
Häftad, 2008
409 kr
- Nyhet
Del 3
- Nyhet
Del 11
Del 1
- Nyhet
Del 4
- Nyhet
Del 6
Del 3
Del 2