Veröffentlichungen allgemein Hans Kleine-Büning

(1 - 10 von 10

)

Aussagenlogik: Deduktion und AlgorithmenSpringer

link.springer.com

Hans Kleine Büning, Theodor Lettmann. Pages Download chapter PDF · Datenstrukturen und Normalformen. Hans Kleine Büning, Theodor Lettmann. Pages Hans Kleine Büning, Theodor Lettmann. Pages Download chapter PDF · Datenstrukturen und Normalformen. Hans Kleine Büning, Theodor Lettmann. Pages

Prolog: Grundlagen und AnwendungenSpringer

link.springer.com

Hans Kleine Büning, Stefan Schmitgen. Pages Download chapter PDF · Einfache Konstrukte und Programme in Prolog. Hans Kleine Büning, Stefan Schmitgen. Hans Kleine Büning, Stefan Schmitgen. Pages Download chapter PDF · Einfache Konstrukte und Programme in Prolog. Hans Kleine Büning, Stefan Schmitgen.

Prolog - Grundlagen und Anwendungen | Hans Kleine Büning | Springer

link.springer.com

Die Programmiersprache PROLOG hat in den letzten Jahren, nicht zuletzt durch zahl reiche Anwendungen im Bereich der Expertensysteme und der...

Guenther-Hans-Kleine-Rassenkunde-des-deutschen-Volkes-Text : Free...

archive.org

Guenther, Hans - Kleine Rassenkunde des deutschen Volkes (1933, 88 S., Text)

Die wissenschaftliche Facharbeit Zitieren und Quellenangaben

www.tinohempel.de

Hans Kleine Büning/Stefan Schmitgen: PROLOG. Grundlagen und Anwendungen. 2., überarb. u. erw. Aufl. Stuttgart: Teubner, (= Leitfäden der angewandten

Hans Kleine BüningDeutsche Digitale Bibliothek

www.deutsche-digitale-bibliothek.de

Hans Kleine Büning. Informatiker, Mathematiker, Hochschullehrer. Geboren: 1948, Innsbruck ...

Hans Kleine Buning and Theodor Lettmann, Propositional Logic:...

link.springer.com

Hans Kleine Buning and Theodor Lettmann, Propositional Logic: Deduction and Algorithms. Anthony Hunter … show all 1 hide. Download PDF ...

Bounded Universal Expansion for Preprocessing QBFSpringer

link.springer.com

von U Bubeck · · Zitiert von: 65 — Uwe Bubeck &; Hans Kleine Büning. Conference paper Accesses. 23 Citations. Part of the Lecture Notes in Computer Science book series (LNTCS,volume 4501) ...

Resolution and Expressiveness of Subcl… of Quantified Boolean...

link.springer.com

We present an extension of Q-Unit resolution for formulas that are not completely in clausal form. This b-unit resolutionis applied to different cl… of...

Prolog | SpringerLink

link.springer.com

Hans Kleine Büning, Stefan Schmitgen. Pages PDF · Einfache Konstrukte und Programme in Prolog. Hans Kleine Büning, Stefan Schmitgen. Pages

Verwandte Suchanfragen zu Hans Kleine-Büning

Stefan Schmitgen
Hans Kleine
Juliane Kleine-Büning

Alexander Kleine-Büning
Christian Freuling

Personen
Vorname "Hans" (67414)
Name "Kleine-Büning" (40)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Impressum AGB Datenschutz

+1

Weltweit