Häftad, Engelska, 2007
Automated Reasoning in Higher-order Logic
315 kr
Skickas inom 5-8 vardagar
Beskrivning
Produktinformation
- Utgivningsdatum: 2007-10-22
- Mått: 156 x 234 x 29 mm
- Vikt: 781 g
- Format: Häftad
- Språk: Engelska
- Antal sidor: 564
- Förlag: College Publications
- ISBN: 9781904987574
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.