Tell your friends about this item:
Automatisierung Von Terminierungsbeweisen - Kunstliche Intelligenz Christoph Walther 1991 edition
Price
Íkr 7,069
excl. VAT
Ordered from remote warehouse
Expected delivery Jul 22 - 30
Get notified about new Christoph Walther releases
Our customers say:
Add to your iMusic wish list
Automatisierung Von Terminierungsbeweisen - Kunstliche Intelligenz
Christoph Walther
253 pages, black & white illustrations, bibliography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | 1991 |
| ISBN13 | 9783528047719 |
| Publishers | Springer Fachmedien Wiesbaden |
| Pages | 253 |
| Dimensions | 170 × 244 × 14 mm · 430 g |
| Language | German |
More by Christoph Walther
Show all
![Cover for Christoph Walther · Semantik Und Programmverifikation - Teubner Texte Zur Informatik (Paperback Book) [German, 2001 edition] (2001)](https://imusic.b-cdn.net/images/item/original/366/9783519003366.jpg?christoph-walther-2001-semantik-und-programmverifikation-teubner-texte-zur-informatik-paperback-book&class=scaled&v=1495394319)
Mere med samme udgiver
![Cover for Experimentelle Psychologie: Geschichte und klassische Lekturen - Schlusseltexte der Psychologie (Paperback Book) [1. Aufl. 2028 edition] (2028)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Perspectives on Authoritarianism - Politische Psychologie (Paperback Book) [2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/172/9783531165172.jpg?2027-perspectives-on-authoritarianism-politische-psychologie-paperback-book&class=scaled&v=1397734635)
![Cover for Niklas Luhmann · Schriften zur Organisation 6: Kommentar und Verzeichnisse (Hardcover Book) [1. Aufl. 2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/355/9783658234355.jpg?niklas-luhmann-2027-schriften-zur-organisation-6-kommentar-und-verzeichnisse-hardcover-book&class=scaled&v=1590392582)
![Cover for Nina Baur · Verlaufsmusteranalyse: Entwurf einer prozessorientierten Methodologie (Paperback Book) [2. Auflage 2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/989/9783531198989.jpg?nina-baur-2027-verlaufsmusteranalyse-entwurf-einer-prozessorientierten-methodologie-paperback-book&class=scaled&v=1490013382)
![Cover for Patrick Ulrich · Governance, Compliance und Risikomanagement: Leitfaden fur wertschopfungsorientierte Unternehmensfuhrung (Paperback Book) [1. Aufl. 2021 edition] (2026)](https://imusic.b-cdn.net/images/item/original/959/9783658078959.jpg?patrick-ulrich-2026-governance-compliance-und-risikomanagement-leitfaden-fur-wertschopfungsorientierte-unternehmensfuhrung-paperback-book&class=scaled&v=1486362269)
![Cover for Michael Hilgers · Fuel Consumption and Consumption Optimization - Commercial Vehicle Technology (Paperback Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/122/9783662738122.jpg?michael-hilgers-2026-fuel-consumption-and-consumption-optimization-commercial-vehicle-technology-paperback-book&class=scaled&v=1780321470)
![Cover for Boris Tolg · Computer science to the Point: Computer science for Life Sciences Students and Other Non-Computer Scientists (Paperback Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/257/9783658518257.jpg?boris-tolg-2026-computer-science-to-the-point-computer-science-for-life-sciences-students-and-other-non-computer-scientists-paperback-book&class=scaled&v=1780321489)
![Cover for Davide Brocchi · By Disaster or by Co-Design?: Sustainability Transformation as Social and Cultural Challenge (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/192/9783658503192.jpg?davide-brocchi-2026-by-disaster-or-by-co-design-sustainability-transformation-as-social-and-cultural-challenge-hardcover-book&class=scaled&v=1774450361)
![Cover for Robert Jupner · Flood Emergency Management (Hardcover Book) [2nd Second 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/590/9783658512590.jpg?robert-jupner-2026-flood-emergency-management-hardcover-book&class=scaled&v=1780321491)
See all of Christoph Walther ( e.g. Paperback Book )