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
/
Proof reconstruction in classical and non-classical logics
Das Buch ist derzeit nicht auf Lager
Proof reconstruction in classical and non-classical logics
Autoren
Stephan Schmitt
Parameter
ISBN
9783898382397
Verlag
Akad. Verl.-Ges. Aka
Kategorien
Informatik & Programmierung
Dissertationen zur künstlichen Intelligenz
Deine Änderungsvorschläge
Buchvariante
2000
Buchkauf
Dieses Buch ist derzeit nicht auf Lager.
Buchverfügbarkeit verfolgen
20002000
20002000