Blog
Bewertungen
Book-Bote
Press Corner
Kontakt
Suche nach einem Buch, Autor oder Kategorie...
Bücher verkaufen
Geschenkideen
Wen möchtest du beschenken?
Geschenke für die Kleinen
Geschenke für jüngere Schulkinder
Geschenke für ältere Schulkinder
Geschenke für Mama
Geschenke für Papa
Geschenke für Oma
Geschenke für Opa
Unsere besten Buchempfehlungen
Buchsets
Weihnachtskrimis
Autofiktion
Buchverfilmungen
Zeitgenössische Literatur
Große Geschenke
Alternative Comics
Belletristik
Belletristik
Weltprosa
Sci-fi und Fantasy
Krimi und Thriller
Jugendbücher
Liebesromane
Historische Romane
Comics
Horror Bücher
Ausbildung und Beruf
Ausbildung und Beruf
Geschichte
Enzyklopädien
Hobby und Heimat
Persönlichkeitsentwicklung
Psychologie
Sport
Kultur
Biografien und Memoiren
Für Kinder und junge Menschen
Für die Jüngsten
Märchen
Leporellobindung
Für jüngere Kinder
Alle Bücher für jüngere Leser
Jüngere Schulkinder
Märchen
Erstleser Bücher
Wissen für kinder
Bastelbögen
Für ältere Kinder
Alle Bücher für ältere Leser
Ältere Schulkinder
Spielebücher
Märchen
Wissen für kinder
Für Jugendliche
Alle Bücher für junge Leute
Jugendbücher
Horrorbücher für junge Leute
Sach- und Fachbücher
Sach- und Fachbücher
Kochbücher
Lehrbücher
Karten und Reisen
Esoterik und Religion
Fremdsprachige Bücher
Fremdsprachige Bücher
Englische Bücher
Französische Bücher
Tschechische Bücher
Slowakische Bücher
Spanische Bücher
Italienische Bücher
Polnische Bücher
Russische Bücher
bookbot.at
/
Alle Bücher
/
Informatik & Programmierung
/
Automated deduction in classical and non-classical logic
Das Buch ist derzeit nicht auf Lager
Automated deduction in classical and non-classical logic
Autoren
Ricardo Caferra
Parameter
ISBN
9783540671909
Verlag
Springer
Kategorien
Informatik & Programmierung
Lecture notes in computer science
Deine Änderungsvorschläge
Buchvariante
2000
Buchkauf
Dieses Buch ist derzeit nicht auf Lager.
Buchverfügbarkeit verfolgen
20002000
20002000