1
0
0
(1 - 28 von 29
)
Uwe BubeckDBLP
dblp.uni-trier.de
— Hans Kleine Büning, Uwe Bubeck: Theory of Quantified Boolean Formulas. Handbook of Satisfiability 2021: [+][–] – FAQ. see — Hans Kleine Büning, Uwe Bubeck: Theory of Quantified Boolean Formulas. Handbook of Satisfiability 2021: [+][–] – FAQ. see ...
Stefan Schmitgendblp: computer science bibliography
dblp.org
Hans Kleine Büning, Stefan Schmitgen: Prolog - Grundlagen und Anwendungen, 2. Auflage. Leitfäden und Monographien der Informatik, Teubner 1988, ISBN Hans Kleine Büning, Stefan Schmitgen: Prolog - Grundlagen und Anwendungen, 2. Auflage. Leitfäden und Monographien der Informatik, Teubner 1988, ISBN
Wissensbasierte Systeme | Universität PaderbornUniversität Paderborn
cs.uni-paderborn.de
Hans Kleine Büning, der Leiter des Fachgebietes "Wissensbasierte Systeme" im Institut für Informatik, in den Ruhestand getreten. Sie interessieren sich für ... Hans Kleine Büning, der Leiter des Fachgebietes "Wissensbasierte Systeme" im Institut für Informatik, in den Ruhestand getreten. Sie interessieren sich für ...
Food Chemistry | 2nd International Workshop on Water in Foods |...
www.sciencedirect.com
Analysis of water in food by near infrared spectroscopy. Original research article: Pages Hans Büning-Pfaue. Download PDF. Article preview ...
dblp: Hans Kleine Büning
dblp.uni-trier.de
List of computer science publications by Hans Kleine Büning
Modellierungsmethoden der Informatik
www.is.inf.uni-due.de
Uwe Kastens, Hans Kleine Büning: Modellierung. Hanser, Broy: Informatik 1, Springer 1998; Dijkstra: A Discipline of Programming; Uwe Schöning: Logik für Informatiker.
dblp: Michael M. Richter
dblp.uni-trier.de
List of computer science publications by Michael M. Richter
Einf"uhrung in das Symbolische Programmieren \ mit PROLOG \...
www.cis.uni-muenchen.de
Hans Kleine-Büning, Stefan Schmitgen: PROLOG: Grundlagen und Anwendungen. Teubner Verlag,
Modeling and Analysis of Information Systems » Foundations of...
www.mais.informatik.tu-darmstadt.de
Uwe Kastens, Hans Kleine Büning Modellierung - Grundlagen und formale Methoden Hanser, 2008, zweite Auflage ; Glynn Winskel The Formal Semantics of
Software Design, Modelling, and Analysis in UML — Software Engineering
swt.informatik.uni-freiburg.de
Uwe Kastens, Hans Kleine Büning: Modellierung - Grundlagen und formale Methoden, Zweite Auflage, Carl Hanser Verlag. General Discussion of Modelling, not focusing on UML
Search results for "Hans Kleine Büning and Marek ...Faceted DBLP
dblp.l3s.de
Searching for phrase Hans Kleine Büning and Marek Karpinski and Andreas Flögel (changed automatically) (no additional terms from query expansion) in all ...
Search results for "Hans Kleine Büning" – FacetedDBLP
dblp.l3s.uni-hannover.de
Publications of "Hans Kleine Büning" ( http://dblp.L3S.de/Authors/Hans_Kleine_Büning )
Hans Kleine Büning - DBLPdblp.org › Persons
dblp.org
Michael Baumann, Hans Kleine Büning: Adaptive function approximation in reinforcement learning with an interpolating growing neural gas.
Universität Paderborn | Prof. Dr. Hans Kleine Büning
cs.uni-paderborn.de
University of Paderborn Faculty of Electrical Engineering, Computer Science, and Mathematics Computer Science Department D Paderborn. Office:
LPAR Last CFP
www.informatik.uni-bremen.de
... University) Andrei Voronkov (Manchester), co-chair Organizing Committee: * Luciano Garcia (University of La Habana) * Andrei Voronkov ...
Informatik A - Grundvorlesung, Sommersemester 2005
www.is.inf.uni-due.de
G. Bohlender, E. Kaucher, R. Klatte, Ch. Ullrich: Einstieg in die Informatik mit Pascal. BI-Wissenschaftsverlag, Mannheim 1993
Methoden und Werkzeuge zur…
ag-kastens.cs.uni-paderborn.de
Uwe Kastens und Hans Kleine Büning. Modellierung - Grundlagen und formale Methoden. Hanser Verlag, fdPP05 Stephan Winter für die Projektgruppe PaderWAVE.
Workshop 4
www.techfak.uni-bielefeld.de
Peter Barth (MPII Saarbrücken), Hans Kleine Büning (Universität-GH Paderborn) ... Obwohl die Aussagenlogik eine relativ ausdrucksschwache Logik ist, existieren ...
Methods and Tools for Language…
ag-kastens.cs.uni-paderborn.de
Sebastian Hagenkötter. Generierung textueller Struktureditoren. In Fachwissenschaftlicher Informatikkongress - Informatiktage 2002, Bad Schussenried, November
Modeling and Analysis of Information Systems » Found. of Comp.
www.mais.informatik.tu-darmstadt.de
[Kastens/Kleine Buening] Formale Spezifikation, [Kastens/Kleine Buening] Syntax und Semantik von Programmiersprachen, [Winskel]
CCL Bibliography 1995
www.ps.uni-saarland.de
In P. Van Hentenryck and V. Saraswat, editors, Principles and Practice of Constraint Programming. The Newport Papers., pages MIT press,
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