( en | de | ru )

 

Disambiguation of "Kleine-Büning, Hans"

Author of the publication

copydeleteadd this publication to your clipboard
Empfehlungen zum Schulfach Informatik (Sek.~II) und zur Ausbildung von Informatik-Lehrkräften

, , , , , , , , , , , and . Sonderdruck des Fakultätentages in der Bundesrepublik Deutschland, (1993)

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

Martin Kleine Büning

Georg Kleine Büning

Hans Büning-Pfaue

Hildegard Büning

 

Other publications of authors with the same name

On the computational complexity of read once resolution decidability in 2CNF formulas., , and . CoRR, (2016)State Aggregation by Growing Neural Gas for Reinforcement Learning in Continuous State Spaces., and . ICMLA (1), page 430-435. IEEE Computer Society, (2011)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)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)Optimization Aspects for Propositional Binary Prolog Programs., and . Elektronische Informationsverarbeitung und Kybernetik, 24 (11/12): 585-599 (1988)SAT-Problems and Reductions with Respect to the Number of Variables., and . J. Log. Comput., 7 (4): 457-471 (1997)On the Computational Complexity of Quantified Horn Clauses., , and . CSL, volume 329 of Lecture Notes in Computer Science, page 129-137. Springer, (1987)Equivalence Models for Quantified Boolean Formulas., and . SAT, (2004)Restricted Cutting Plane Proofs in Horn Constraint Systems., , , and . FroCos, volume 11715 of Lecture Notes in Computer Science, page 149-164. Springer, (2019)