Logic for Computer Science
- Foundations of Automatic Theorem Proving, Second Edition
- Indbinding:
- Paperback
- Sideantal:
- 544
- Udgivet:
- 26. juni 2015
- Udgave:
- 2
- Størrelse:
- 158x237x35 mm.
- Vægt:
- 758 g.
- Ukendt - mangler pt..
Forlænget returret til d. 31. januar 2025
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Brugerbedømmelser af Logic for Computer Science
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Logic for Computer Science findes i følgende kategorier: