Bücherabgabe
Book-Bote
Blog
Erfahrungen
Press Corner
Karriere
Kontakt
Suche nach einem Buch, Autor oder Kategorie...
Bücher verkaufen
Geschenkideen
Wen möchtest du beschenken?
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
Geschenke für die Kleinsten
Unsere besten Buchempfehlungen
Buchsets
Weihnachtskrimis
Autofiktion
Große Geschenke
Zeitgenössische Literatur
Buchverfilmungen
Alternative Comics
Belletristik
Belletristik
Weltprosa
Sci-fi und Fantasy
Krimi und Thriller
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.de
/
Alle Bücher
/
Informatik & Programmierung
/
A tactic based inductive theorem prover for data types with partial operations
Das Buch ist derzeit nicht auf Lager
A tactic based inductive theorem prover for data types with partial operations
Autoren
Ulrich Kühler
Parameter
ISBN
9783898382380
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