Conte aos seus amigos sobre este item:
Automatisierung Von Terminierungsbeweisen - Kunstliche Intelligenz Christoph Walther 1991 edition
Preço
R$ 305,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 30 de set - 6 de out
Receba avisos sobre novos lançamentos de Christoph Walther
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Automatisierung Von Terminierungsbeweisen - Kunstliche Intelligenz
Christoph Walther
253 pages, black & white illustrations, bibliography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 1991 |
| ISBN13 | 9783528047719 |
| Editoras | Springer Fachmedien Wiesbaden |
| Páginas | 253 |
| Dimensões | 170 × 244 × 14 mm · 430 g |
| Idioma | Alemão |
![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)
![Cover for Handbuch Anarchismus 1: Leben, Werke und Wirkungsgeschichte (Hardcover Book) [1. Aufl. 2021 edition] (2028)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Patrick Ulrich · Governance, Compliance und Risikomanagement: Leitfaden fur wertschopfungsorientierte Unternehmensfuhrung (Paperback Book) [1. Aufl. 2021 edition] (2027)](https://imusic.b-cdn.net/images/item/original/959/9783658078959.jpg?patrick-ulrich-2027-governance-compliance-und-risikomanagement-leitfaden-fur-wertschopfungsorientierte-unternehmensfuhrung-paperback-book&class=scaled&v=1486362269)
![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 Niklas Luhmann · Schriften zur Organisation 6: Kommentar • Verzeichnisse • Register von Ernst Lukas und Veronika Tacke (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-verzeichnisse-register-von-ernst-lukas-und-veronika-tacke-hardcover-book&class=scaled&v=1590392582)
![Cover for Stefan Hunziker · Research Design in Business and Management: A Practical Guide for Students and Researchers (Paperback Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/440/9783658527440.jpg?stefan-hunziker-2026-research-design-in-business-and-management-a-practical-guide-for-students-and-researchers-paperback-book&class=scaled&v=1788248334)
