Tell your friends about this item:
Grundlagen Des Maschinellen Beweisens: Eine Einfuhrung Fur Informatiker Und Mathematiker Ralf-detlef Kutsche 2nd edition
Price
Íkr 6,819
excl. VAT
Ordered from remote warehouse
Expected delivery Aug 25 - Sep 8
Get notified about new Ralf-detlef Kutsche releases
Our customers say:
Add to your iMusic wish list
Grundlagen Des Maschinellen Beweisens: Eine Einfuhrung Fur Informatiker Und Mathematiker
Ralf-detlef Kutsche
174 pages, black & white illustrations
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | October 1, 1991 |
| ISBN13 | 9783528147181 |
| Publishers | Vieweg+teubner Verlag |
| Pages | 174 |
| Dimensions | 170 × 244 × 10 mm · 308 g |
| Language | German |
| Contributor | Dieter Hofbauer |
More by Ralf-detlef Kutsche
Show all![Cover for Ralf-detlef Kutsche · Fundamental Approaches to Software Engineering: 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings - Lecture Notes in Comp (Paperback Book) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/538/9783540433538.jpg?ralf-detlef-kutsche-2002-fundamental-approaches-to-software-engineering-5th-international-conference-fase-2002-held-as-part-of-the-joint-european-conferences-on-theory-and-practice-of-software-etaps-2002-grenoble-france-april-8-12-2002-proceedings-lecture-&class=scaled&v=1550633560)
More from the same publisher
![Cover for Hermann Weidenfeller · Grundlagen Der Kommunikationstechnik - Leitfaden Der Elektrotechnik (Paperback Book) [German, Softcover Reprint of the Original 1st Ed. 2002 edition] (2014)](https://imusic.b-cdn.net/images/item/original/067/9783663078067.jpg?hermann-weidenfeller-2014-grundlagen-der-kommunikationstechnik-leitfaden-der-elektrotechnik-paperback-book&class=scaled&v=1419874666)
![Cover for T Schurmann · Vieweg Software-trainer Word Fur Windows 2.0 (Book) [German, Softcover Reprint of the Original 1st Ed. 1992 edition] (2014)](https://imusic.b-cdn.net/images/item/original/703/9783322963703.jpg?t-schurmann-2014-vieweg-software-trainer-word-fur-windows-2-0-book&class=scaled&v=1417671476)
![Cover for Borchard-tuch, Claudia (Zusmarshausen) · Computersysteme - Ebenbilder Der Natur?: Ein Vergleich Der Informationsverarbeitung - Facetten (Paperback Book) [German, Softcover Reprint of the Original 1st Ed. 1997 edition] (2014)](https://imusic.b-cdn.net/images/item/original/040/9783663095040.jpg?borchard-tuch-claudia-zusmarshausen-2014-computersysteme-ebenbilder-der-natur-ein-vergleich-der-informationsverarbeitung-facetten-paperback-book&class=scaled&v=1519773860)
![Cover for Augie Hansen · Programmieren Lernen Mit C: Fur C Und QuickC (Paperback Book) [1990 edition] (2014)](https://imusic.b-cdn.net/images/item/original/689/9783663111689.jpg?augie-hansen-2014-programmieren-lernen-mit-c-fur-c-und-quickc-paperback-book&class=scaled&v=1521058096)
![Cover for Priv -Doz Dr Dr Wolfram Bender · Schizophrene Erkrankungen: Therapie, Therapieresistenz -- Eine Standortbestimmung (Paperback Book) [1988 edition] (2014)](https://imusic.b-cdn.net/images/item/original/299/9783663019299.jpg?priv-doz-dr-dr-wolfram-bender-2014-schizophrene-erkrankungen-therapie-therapieresistenz-eine-standortbestimmung-paperback-book&class=scaled&v=1520722825)
![Cover for Jurgen Kohler · Warme- Und Stoffubertragung in Zweiphasenstromungen: Kondensation Und Absorption in Horizontalen Rohren - Grundlagen Und Fortschritte Der Ingenieurwissenschaften (Paperback Book) [German, 1996 edition] (2014)](https://imusic.b-cdn.net/images/item/original/121/9783663118121.jpg?jurgen-kohler-2014-warme-und-stoffubertragung-in-zweiphasenstromungen-kondensation-und-absorption-in-horizontalen-rohren-grundlagen-und-fortschritte-der-ingenieurwissenschaften-paperback-book&class=scaled&v=1520120726)
![Cover for Arno Damberger · C/c++ Werkzeugkasten: Anwendungen, Hardwareschnittstellen Und Tools Fur Professionelle Programmierer (Paperback Book) [German, Softcover Reprint of the Original 1st Ed. 1994 edition] (2014)](https://imusic.b-cdn.net/images/item/original/685/9783322830685.jpg?arno-damberger-2014-c-c-werkzeugkasten-anwendungen-hardwareschnittstellen-und-tools-fur-professionelle-programmierer-paperback-book&class=scaled&v=1520119247)
![Cover for Werner Dieterich · Word 3.0/4.0 Optimal Beherrscht - Software Trainer Aufbaustufe (Paperback Book) [1988 edition] (2014)](https://imusic.b-cdn.net/images/item/original/893/9783663019893.jpg?werner-dieterich-2014-word-3-0-4-0-optimal-beherrscht-software-trainer-aufbaustufe-paperback-book&class=scaled&v=1519169054)
![Cover for Jochen Ludewig · Software- Und Automatisierungsprojekte -- Beispiele Aus Der Praxis - Informatik Und Unternehmensfuhrung (Paperback Book) [1991 edition] (2014)](https://imusic.b-cdn.net/images/item/original/935/9783322946935.jpg?jochen-ludewig-2014-software-und-automatisierungsprojekte-beispiele-aus-der-praxis-informatik-und-unternehmensfuhrung-paperback-book&class=scaled&v=1547266365)
![Cover for Heinz-gunther Nesselrath · Einleitung in Die Griechische Philologie (Paperback Book) [Softcover Reprint of the Original 1st 1997 edition] (2014)](https://imusic.b-cdn.net/images/item/original/759/9783663120759.jpg?heinz-gunther-nesselrath-2014-einleitung-in-die-griechische-philologie-paperback-book&class=scaled&v=1575784323)
![Cover for Bossel, Hartmut (Universitat Gesamthochschule Kassel Germany) · Modellbildung Und Simulation: Konzepte, Verfahren Und Modelle Zum Verhalten Dynamischer Systeme. Ein Lehr- Und Arbeitsbuch (Paperback Book) [2nd 2. Aufl. 1994. Softcover Reprint of the Origin edition] (2014)](https://imusic.b-cdn.net/images/item/original/208/9783322905208.jpg?bossel-hartmut-universitat-gesamthochschule-kassel-germany-2014-modellbildung-und-simulation-konzepte-verfahren-und-modelle-zum-verhalten-dynamischer-systeme-ein-lehr-und-arbeitsbuch-paperback-book&class=scaled&v=1414927017)
![Cover for Dieter Pratzel-wolters · Operators, Systems and Linear Algebra: Three Decades of Algebraic Systems Theory - European Consortium for Mathematics in Industry (Paperback Book) [German, 1997 edition] (2014)](https://imusic.b-cdn.net/images/item/original/249/9783663098249.jpg?dieter-pratzel-wolters-2014-operators-systems-and-linear-algebra-three-decades-of-algebraic-systems-theory-european-consortium-for-mathematics-in-industry-paperback-book&class=scaled&v=1425565693)
![Cover for Sandig, Anna-margarete (University of Stuttgart, Stuttgart, Germany) · Some Applications of Weighted Sobolev Spaces - Teubner-texte Zur Mathematik (Paperback Book) [German, 1987 edition] (2014)](https://imusic.b-cdn.net/images/item/original/867/9783663113867.jpg?sandig-anna-margarete-university-of-stuttgart-stuttgart-germany-2014-some-applications-of-weighted-sobolev-spaces-teubner-texte-zur-mathematik-paperback-book&class=scaled&v=1448365214)
![Cover for Brenner, Professor Walter (University of St Gallen Switzerland) · Unternehmensfuhrung Und Informationssystem: Der Ansatz Des St. Galler Informationssystem-Managements - Informatik Und Unternehmensfuhrung (Paperback Book) [2nd 2. Aufl. 1991. Softcover Reprint of the Origin edition] (2014)](https://imusic.b-cdn.net/images/item/original/959/9783322946959.jpg?brenner-professor-walter-university-of-st-gallen-switzerland-2014-unternehmensfuhrung-und-informationssystem-der-ansatz-des-st-galler-informationssystem-managements-informatik-und-unternehmensfuhrung-paperback-book&class=scaled&v=1520378080)
![Cover for Burkart Philipp · Grundlagen Der Makromolekularen Chemie - Wissenschaftliche Taschenbucher (Paperback Book) [2nd 2. Aufl. 1976 edition] (2014)](https://imusic.b-cdn.net/images/item/original/671/9783663019671.jpg?burkart-philipp-2014-grundlagen-der-makromolekularen-chemie-wissenschaftliche-taschenbucher-paperback-book&class=scaled&v=1519860119)
![Cover for Friedrich Kronenberg · SCO Unix Von Anfang an: Eine Umfassende, Leicht Verstandliche Einfuhrung Fur Jeden Anwender (Paperback Book) [Softcover Reprint of the Original 1st 1993 edition] (2014)](https://imusic.b-cdn.net/images/item/original/272/9783322872272.jpg?friedrich-kronenberg-2014-sco-unix-von-anfang-an-eine-umfassende-leicht-verstandliche-einfuhrung-fur-jeden-anwender-paperback-book&class=scaled&v=1453404357)
![Cover for Klaus Hohmann · Technische Wärmelehre (Viewegs Fachbücher Der Technik) (German Edition) (Paperback Book) [German, Softcover Reprint of the Original 1st Ed. 1971 edition] (2014)](https://imusic.b-cdn.net/images/item/original/241/9783663052241.jpg?klaus-hohmann-2014-technische-warmelehre-viewegs-fachbucher-der-technik-german-edition-paperback-book&class=scaled&v=1520636708)
![Cover for Rui Zhao · Handsketch-Based Diagram Editing - Xteubner-Texte Zur Informatik (Paperback Book) [1993 edition] (2014)](https://imusic.b-cdn.net/images/item/original/698/9783322953698.jpg?rui-zhao-2014-handsketch-based-diagram-editing-xteubner-texte-zur-informatik-paperback-book&class=scaled&v=1605595989)
![Cover for Ernst Heinrich Hirschel · Shear Flow in Surface-Oriented Coordinate - Notes on Numerical Fluid Mechanics and Multidisciplinary Des (Paperback Book) [1981 edition] (2014)](https://imusic.b-cdn.net/images/item/original/777/9783663052777.jpg?ernst-heinrich-hirschel-2014-shear-flow-in-surface-oriented-coordinate-notes-on-numerical-fluid-mechanics-and-multidisciplinary-des-paperback-book&class=scaled&v=1501223924)
![Cover for Dietrich Bender · Einheiten, Masssysteme, Si - Wissenschaftliche Taschenbucher (Paperback Book) [1973 edition] (2014)](https://imusic.b-cdn.net/images/item/original/770/9783663019770.jpg?dietrich-bender-2014-einheiten-masssysteme-si-wissenschaftliche-taschenbucher-paperback-book&class=scaled&v=1492583858)
![Cover for Peter Jenny · Farbhunger: Texte Und Bilder Zur Aufhebung Der Gewaltenteilung Zwischen Wort Und Farbe, Begriff Und Anschauung (Paperback Book) [German, Softcover Reprint of the Original 1st Ed. 1994 edition] (2014)](https://imusic.b-cdn.net/images/item/original/251/9783322912251.jpg?peter-jenny-2014-farbhunger-texte-und-bilder-zur-aufhebung-der-gewaltenteilung-zwischen-wort-und-farbe-begriff-und-anschauung-paperback-book&class=scaled&v=1415479687)
![Cover for Dohrn, Ralf (Bayer Technology Services Gmbh, Leverkusen, Germany Bayer Technological Services Gmbh Bayer Technological Services Gmbh Bayer Technological Services Gmbh Bayer Technology Services Gmbh, Leverkusen, Germany Bayer Technological Services Gmbh) · Berechnung Von Phasengleichgewichten - Grundlagen Und Fortschritte Der Ingenieurwissenschaften (Paperback Book) [German, 1994 edition] (2014)](https://imusic.b-cdn.net/images/item/original/123/9783322992123.jpg?dohrn-ralf-bayer-technology-services-gmbh-leverkusen-germany-bayer-technological-services-gmbh-bayer-technological-services-gmbh-bayer-technological-services-gmbh-bayer-technology-services-gmbh-leverkusen-germany-bayer-technological-services-gmbh-2014-bere&class=scaled&v=1521242498)
See all of Ralf-detlef Kutsche ( e.g. Paperback Book )