( en | de | ru )

 

Disambiguation of "Bürckert, Hans-Jürgen"

Author of the publication

copydeleteadd this publication to your clipboard
Vom Schmuddelkind zum Fachbereich.

, and . Künstliche Intell., 25 (4): 329-331 (2011)

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-Jürgen Bürckert

Heinrich Bürckert

Walter Schmid-Bürckert

Hans-Jürgen Link

Die Fragen der Metaethik: eine Untersuchung zum Aufbau der Ethik. Uni Karlsruhe, (2008)

Hans-Jürgen Krug

 

Other publications of authors with the same name

Solving Disequations in Equational Theories.. CADE, volume 310 of Lecture Notes in Computer Science, page 517-526. Springer, (1988)Jahresbericht 2001 des Fachbereich 1 Künstliche Intelligenz.. Künstliche Intell., 16 (2): 62-63 (2002)Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra., and . J. ACM, 42 (1): 43-66 (1995)On Solving Equations and Disequations., and . J. ACM, 41 (4): 591-629 (1994)A Resolution Principle for a Logic with Restricted Quantifiers. Lecture Notes in Computer Science Springer, (1991)Terminological Knowledge Representation: A Proposal for a Terminological Logic., , , , , , , and . Description Logics, volume DFKI-D-91-13 of DFKI Documents, page 120-128. (1991)Some Relationships between Unification, restricted Unification, and Matching.. CADE, volume 230 of Lecture Notes in Computer Science, page 514-524. Springer, (1986)Protokoll der FB1-Leitungssitzung.. Künstliche Intell., 16 (1): 81 (2002)Lazy Theory Unification inProlog: An Extension of the warren Abstract machine.. GWAI, volume 124 of Informatik-Fachberichte, page 277-288. Springer, (1986)Jahresbericht 2006 des FB KI.. Künstliche Intell., 21 (1): 67 (2007)