Preis von
90.34 EUR
90.34 EUR
First-Order Logic 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
GesponsertFirst-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Günstigstes Angebot
SpringerLink DE
| Dieses Produkt im Comparor | |
|---|---|
|
Kategorie
Dieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert
|
- Bücher über Programmierung und Softwareentwicklung - Ingenieurbücher - Mathematikbücher - Informatik |
|
International
Finden Sie dieses Produkt in einem unserer internationalen Geschäfte
|
 88.39 EUR |
| Farben
Vorherrschende Farben des Produkts |
|
| 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 | 23440394 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Related zusammenhängen
Springer (9783540092377) | First-Order Dynamic Logic
Springer (9783540636489) | Metamathematics of First-Order Arithmetic
(9780792353348) | First-Order Modal Logic
De Gruyter (9783110157666) | First Order-Logic
Springer (9783540636489) | Metamathematics of First-Order Arithmetic