Fler böcker inom
- Format
- E-bok
- Filformat
-
PDF med Adobe-kryptering
Om Adobe-krypteringPDF-böcker lämpar sig inte för läsning på små skärmar, t ex mobiler. - Nedladdning
- Kan laddas ned under 24 månader, dock max 3 gånger.
- Språk
- Engelska
- Utgivningsdatum
- 2006-12-29
- Förlag
- Springer Berlin Heidelberg
- ISBN
- 9783540479505
Du kanske gillar
-
Functional and Logic Programming E-bok
4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
Finns även somKundrecensioner
Har du läst boken? Sätt ditt betyg »Fler böcker av författarna
-
Automated Deduction - CADE-25
Amy P Felty, Aart Middeldorp
-
Processes, Terms and Cycles: Steps on the Road to Infinity
Aart Middeldorp, Vincent Van Oostrom, Femke Van Raamsdonk, Roel De Vrijer
-
Rewriting Techniques and Applications
Aart Middeldorp
-
Logic for Programming, Artificial Intelligence, and Reasoning
Ken McMillan, Aart Middeldorp, Andrei Voronkov