4.7
Geschichte 
Terminkalender 
Anfang 
Buch Details
A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto mated deduction for the logic and its fragments is as important as the logic itself.
Lesen Sie mehr - Schriftsteller Jean Goubault-Larrecq, Bella Mackie
- ISBN13 9781402003684
- ISBN10 1402003684
- Buchseiten 444
- Jahr der Ausgabe 2001
- Fecha de publicación 30/11/2001
- Sprache Deutsch, Französisch
Rezensionen und Bewertungen
Sei die erste Person, die es bewertet!
Hast du gelesen Proof Theory and Automated Deduction?
Proof Theory and Automated Deduction (Deutsch, Französisch)
- Von
- Jean Goubault-Larrecq, Bella Mackie
- |
- KIHL (2001)
- 9781402003684
28,40€
29,90€
-5%
Sendung Kostenlos
Nicht verfügbar
28,40€
29,90€
-5%
Sendung Kostenlos
Nicht verfügbar
Kostenlose Rücksendung
Vielen Dank für Ihren Einkauf in echten Buchhandlungen!
(1)
Whatsapp
Facebook
Linkedin
X
