Theorem Proving in Higher Order Logics
67
%
418 Kč 1 266 Kč
Sleva až 70% u třetiny knih
| Autor: | Berghofer, Stefan |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 364203358X |
| Rok vydání: | 2009 |
| Jazyk : | Angličtina |
| Vazba: | brožovaná/paperback |
Mohlo by se vám také líbit..
-
Künstliche Intelligenz
Paaß, Gerhard
-
Schwierige Situationen im Business-Co...
Möller, Heidi
-
Handbook of Model Checking
Bloem, Roderick
-
Abenteuer Informatik
Gallenbacher, Jens
-
OP-Handbuch
Liehn, Margret
-
Die proximale Humerusfraktur
Lill, Helmut
-
Endocannabinoid Signaling
Maccarrone, Mauro
-
Facharztwissen HNO-Heilkunde
Reiß, Michael
-
Mitgefühl üben
Stöcker, Christian
-
6000 Jahre Mathematik
Wußing, Hans
-
Migration in der Pflege
Bonacker, Marco
-
Strasburger - Lehrbuch der Pflanzenwi...
Kadereit, Joachim W.
-
Designgeschichte
Bühler, Peter
-
Gesunde Haut
Kardorff, Bernd
-
Die Psychologie des Postfaktischen: Ü...
Appel, Markus
-
Mechanics of Composite Materials with...
Voyiadjis, George Z.