Suchergebnisse für ""Bernhard Heinemann""




Ähnliche Artikel


Logik für Informatiker
34,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Jürgen Dassow
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2005
29. April 2005
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-00518-6

Formalisieren und Beweisen
54,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Dirk Siefkes
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Logik für Informatiker
1990
1. Januar 1990
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-04757-3

Logik für Informatiker
29,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei*
Uwe Schöning
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5. Aufl.
20. Januar 2000
Spektrum Akademischer Verlag / Springer Spektrum
978-3-8274-1005-4

Formalisieren und Beweisen
69,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Dirk Siefkes
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Logik für Informatiker
2., verb. Aufl.
1. Januar 1992
Vieweg+Teubner

Developments in Language Theory
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Cristian S. Calude / Elena Calude / Michael J. Dinneen (eds.)
  (Aktuell noch keine Bewertungen)
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
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Julian Bradfield (ed.)
  (Aktuell noch keine Bewertungen)
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
44,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Uwe Schöning
  (Aktuell noch keine Bewertungen)
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
44,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Dieter Hofbauer
Ralf-Detlef Kutsche
  (Aktuell noch keine Bewertungen)
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
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Helene Kirchner / Giorgio Levi (eds.)
  (Aktuell noch keine Bewertungen)
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
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Ricardo Caferra / Gernot Salzer (eds.)
  (Aktuell noch keine Bewertungen)
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