Das Buch ist derzeit nicht auf Lager
Logic for programming and automated reasoning
Autoren
Parameter
Buchkauf
Logic for programming and automated reasoning, Michel Parigot
- Sprache
- Erscheinungsdatum
- 2000
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Deine Änderungsvorschläge
- Titel
- Logic for programming and automated reasoning
- Sprache
- Englisch
- Autor*innen
- Michel Parigot
- Verlag
- Springer
- Erscheinungsdatum
- 2000
- ISBN10
- 3540412859
- ISBN13
- 9783540412854
- Reihe
- Lecture notes in computer science
- Kategorie
- Informatik & Programmierung