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
- 2005-12-11
- Förlag
- Springer Berlin Heidelberg
- ISBN
- 9783540324256
Du kanske gillar
-
Processes, Terms and Cycles: Steps on the Road to Infinity E-bok
Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Finns även somVi har inte fått in någon beskrivning av boken från förlaget. Kolla gärna upp förlagets (Springer Berlin Heidelberg) hemsida, där det kan finnas mer information.Kundrecensioner
Har du läst boken? Sätt ditt betyg »Fler böcker av författarna
-
Automated Deduction - CADE-25
Amy P Felty, Aart Middeldorp
-
Rewriting Techniques and Applications
Aart Middeldorp
-
Functional and Logic Programming
Aart Middeldorp, Taisuke Sato
-
Logic for Programming, Artificial Intelligence, and Reasoning
Ken McMillan, Aart Middeldorp, Andrei Voronkov