![Logik für Informatiker Logik für Informatiker](https://bilder.buecher.de/produkte/04/04253/04253320m.jpg)
Broschiertes Buch
Eine Einführung
2. Aufl.
1. September 1992
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-12248-7
eBook, PDF | 20,67 € |
![Logik für Informatiker (eBook, PDF) Logik für Informatiker (eBook, PDF)](https://bilder.buecher.de/produkte/54/54116/54116094m.jpg)
32,99 €**
20,67 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
![Putins Armee der Trolle (eBook, ePUB) Putins Armee der Trolle (eBook, ePUB)](https://bilder.buecher.de/produkte/63/63726/63726523m.jpg)
Statt 24,00 €**
19,99 €
**Preis der gedruckten Ausgabe (Gebundenes Buch)
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
eBook, ePUB
31. August 2022
Penguin Random House
Gebundenes Buch | 24,00 € | |
Hörbuch-Download MP3 | 21,99 € |
Ähnliche Artikel
![Logik für Informatiker Logik für Informatiker](https://bilder.buecher.de/produkte/13/13399/13399702m.jpg)
Broschiertes Buch
2005
29. April 2005
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-00518-6
![Formalisieren und Beweisen Formalisieren und Beweisen](https://bilder.buecher.de/produkte/26/26979/26979823n.jpg)
Broschiertes Buch
Logik für Informatiker
1990
1. Januar 1990
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-04757-3
![Logik für Informatiker Logik für Informatiker](https://bilder.buecher.de/produkte/03/03229/03229406m.jpg)
Broschiertes Buch
5. Aufl.
20. Januar 2000
Spektrum Akademischer Verlag / Springer Spektrum
978-3-8274-1005-4
![Formalisieren und Beweisen Formalisieren und Beweisen](https://bilder.buecher.de/produkte/25/25928/25928940m.jpg)
Broschiertes Buch
Logik für Informatiker
2., verb. Aufl.
1. Januar 1992
Vieweg+Teubner
![Developments in Language Theory Developments in Language Theory](https://bilder.buecher.de/produkte/14/14104/14104380m.jpg)
Broschiertes Buch
8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
2005
29. November 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11358855,978-3-540-24014-3
![Computer Science Logic Computer Science Logic](https://bilder.buecher.de/produkte/23/23391/23391542m.jpg)
Broschiertes Buch
16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
2002
9. September 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
10871322,978-3-540-44240-0
![Logic for Computer Scientists Logic for Computer Scientists](https://bilder.buecher.de/produkte/23/23285/23285197m.jpg)
Broschiertes Buch
1st ed. 1989. 2nd printing 2008. Softcover reprint of the original 1st ed. 1989
11. Januar 2008
Birkhäuser / Birkhäuser Boston / Springer, Basel
12194087,978-0-8176-4762-9
![Grundlagen des maschinellen Beweisens Grundlagen des maschinellen Beweisens](https://bilder.buecher.de/produkte/24/24660/24660499n.jpg)
Broschiertes Buch
Eine Einführung für Informatiker und Mathematiker
2. Aufl.
1. Oktober 1991
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-14718-1
![Algebraic and Logic Programming Algebraic and Logic Programming](https://bilder.buecher.de/produkte/09/09235/09235710m.jpg)
Broschiertes Buch
Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
1992.
19. August 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55873-6
![Automated Deduction in Classical and Non-Classical Logics Automated Deduction in Classical and Non-Classical Logics](https://bilder.buecher.de/produkte/09/09230/09230364m.jpg)
Broschiertes Buch
Selected Papers
2000.
9. Februar 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10719651,978-3-540-67190-9
Ähnlichkeitssuche: Fact®Finder von OMIKRON