( en | de | ru )

 

Disambiguierung von "Büning, Hans Kleine"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Foreword.

, , , und . Theor. Comput. Sci., (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Hans Kleine Büning

Georg Kleine Büning

Martin Kleine Büning

Hans Büning-Pfaue

Hildegard Büning

 

Weitere Publikationen von Autoren mit dem selben Namen

Decision problems in generalized vector addition systems.. Fundam. Informaticae, 3 (4): 497- (1980)On the computational complexity of read once resolution decidability in 2CNF formulas., , und . CoRR, (2016)Empfehlungen zum Schulfach Informatik (Sek.~II) und zur Ausbildung von Informatik-Lehrkräften, , , , , , , , , und 2 andere Autor(en). Sonderdruck des Fakultätentages in der Bundesrepublik Deutschland, (1993)Adaptive function approximation in reinforcement learning with an interpolating growing neural gas., und . HIS, Seite 512-517. IEEE, (2012)The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set., und . Math. Log. Q., 26 (28-30): 459-469 (1980)State Aggregation by Growing Neural Gas for Reinforcement Learning in Continuous State Spaces., und . ICMLA (1), Seite 430-435. IEEE Computer Society, (2011)Optimization Aspects for Propositional Binary Prolog Programs., und . Elektronische Informationsverarbeitung und Kybernetik, 24 (11/12): 585-599 (1988)On the Computational Complexity of Quantified Horn Clauses., , und . CSL, Volume 329 von Lecture Notes in Computer Science, Seite 129-137. Springer, (1987)Propositional logic - deduction and algorithms., und . Cambridge tracts in theoretical computer science Cambridge University Press, (1999)Equivalence Models for Quantified Boolean Formulas., und . SAT, (2004)