Preis von
111.98 EUR
111.98 EUR
Automated Theorem Proving: Theory and Practice
Springer (9781461265191) | Theory and, Automated Theorem Proving
Geschäfte, in denen Sie dieses Produkt kaufen können
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Galaxus.de
SpringerLink DE
| Dieses Produkt im Comparor | |
|---|---|
|
Kategorie
Dieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert
|
- Ingenieurbücher - Mathematikbücher - Informatik |
|
International
Finden Sie dieses Produkt in einem unserer internationalen Geschäfte
|
Dieses Produkt wurde in anderen Ländern nicht gefunden
|
| Farben
Vorherrschende Farben des Produkts |
|
| Tags | Theory and Automated Theorem Proving |
| Bezeichner | |
| Marke |  Springer ist eine Marke, die sich auf die Herstellung von Fahrrädern spezialisiert hat. Die Fahrräder von Springer sind hochwertig und überzeugen mit einem ansprechenden Design. Sie sind in verschiedenen Farben erhältlich und bieten eine Vielzahl an Ausstattungsoptionen. |
| ID | 23440068 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Related zusammenhängen
Springer (9781461275152)
(9783642047602 / biography) | Automated Technology for Verification
Vieweg+Teubner Verlag (9783528085209) | Automated Theorem Proving
Springer (9780387950754) | Theory and, Automated Theorem Proving
Springer (9783540679899) | Proving in Software Engineering