( en | de | ru )

 

Disambiguation of "Kleine-Büning, Hans"

Author of the publication

copydeleteadd this publication to your clipboard
Empfehlungen des Fakultätentages zum Schulfach Informatik (Sekundarstufe~II) und zur Ausbildung von Informatik-Lehrkräften

, , , , , , , , , , , and . Informatik Spektrum, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hans Kleine Büning

Georg Kleine Büning

Martin Kleine Büning

Hans Büning-Pfaue

Hildegard Büning

 

Other publications of authors with the same name

The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set., and . Math. Log. Q., 26 (28-30): 459-469 (1980)State Aggregation by Growing Neural Gas for Reinforcement Learning in Continuous State Spaces., and . ICMLA (1), page 430-435. IEEE Computer Society, (2011)Empfehlungen zum Schulfach Informatik (Sek.~II) und zur Ausbildung von Informatik-Lehrkräften, , , , , , , , , and 2 other author(s). Sonderdruck des Fakultätentages in der Bundesrepublik Deutschland, (1993)Adaptive function approximation in reinforcement learning with an interpolating growing neural gas., and . HIS, page 512-517. IEEE, (2012)On the computational complexity of read once resolution decidability in 2CNF formulas., , and . CoRR, (2016)Optimization Aspects for Propositional Binary Prolog Programs., and . Elektronische Informationsverarbeitung und Kybernetik, 24 (11/12): 585-599 (1988)On the Computational Complexity of Quantified Horn Clauses., , and . CSL, volume 329 of Lecture Notes in Computer Science, page 129-137. Springer, (1987)SAT-Problems and Reductions with Respect to the Number of Variables., and . J. Log. Comput., 7 (4): 457-471 (1997)Equivalence Models for Quantified Boolean Formulas., and . SAT, (2004)The Complexity of Finding Read-Once NAE-Resolution Refutations., , and . ICLA, volume 10119 of Lecture Notes in Computer Science, page 64-76. Springer, (2017)