Fler böcker inom
- Format
- E-bok
- Filformat
-
EPUB med LCP-kryptering (0.0 MB)
Om LCP-kryptering - Nedladdning
- Kan laddas ned under 24 månader, dock max 6 gånger.
- Språk
- Engelska
- Antal sidor
- 2128
- Utgivningsdatum
- 2001-06-22
- Förlag
- Elsevier Science
- ISBN
- 9780080532790
Handbook of Automated Reasoning E-bok
E-bok (LCP),
Engelska, 2001-06-22
Finns även som
Kundrecensioner
Har du läst boken?
Sätt ditt betyg »
Fler böcker av författarna
-
Perspectives of System Informatics
Nikolaj Bjrner, Irina Virbitskaite, Andrei Voronkov
-
Logic for Programming, Artificial Intelligence, and Reasoning
Matthias Baaz, Andrei Voronkov
-
Logic for Programming and Automated Reasoning
Michel Parigot, Andrei Voronkov
-
Automated Deduction - CADE-18
Andrei Voronkov
Du kanske gillar
-
How Life Works
Philip Ball
Inbunden