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
- 2003-06-29
- Förlag
- Springer Berlin Heidelberg
- ISBN
- 9783540451273
Du kanske gillar
-
Rewriting Techniques and Applications E-bok
12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings
Finns även somKundrecensioner
Har du läst boken? Sätt ditt betyg »Fler böcker av Aart Middeldorp
-
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
-
Functional and Logic Programming
Aart Middeldorp, Taisuke Sato
-
Logic for Programming, Artificial Intelligence, and Reasoning
Ken McMillan, Aart Middeldorp, Andrei Voronkov