Jämför priser
Inbunden
Handbook of Automated Reasoning
avA. Robinson, A. Voronkov
Beskrivning:
This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.
Fakta
- Förlag:
- North-Holland
- ISBN:
- 9780444508126
- Bandtyp:
- Inbunden
- Utgiven:
- 2001-01-01
- Språk:
- Engelska
- Antal Sidor:
- 1188
- ISBN-10:
- 0444508120
Priser hos nätbutiker
| Butik | Mervärde | Pris | Tillgänglighet | Leveranstid | Inkl frakt | Länkar |
|---|---|---|---|---|---|---|
 |
Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser | 1977.00 kr | I lager | 2-5 dagar | 1977.00 kr | Till butik |
Obs! Glöm inte att alltid kolla priset hos återförsäljaren!
