( en | de | ru )

 

Disambiguation of "Neugebauer, Gerd"

Author of the publication

copydeleteadd this publication to your clipboard
On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).

, , , , , , , and . JICSLP, page 546. MIT Press, (1996)

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.

Gerd Neugebauer

Gerd Neugebauer

Gerd Neugebauer

Gerd Neugebauer

Reimund Neugebauer

 

Other publications of authors with the same name

Reachability Analysis for the Extension Procedure - A Topological Result.. LOPSTR, page 32-44. Springer, (1993)The LOPS Approach: A Transformational Point of View (Extended Abstract).. LOPSTR, page 80-81. Springer, (1992)XPRTS - An Implementation Tool for Program Synthesis., , and . GWAI, volume 216 of Informatik-Fachberichte, page 348-357. Springer, (1989)ESPRIT Project P973 ALPES: Advanced Logical Programming Environments., and . Wissensbasierte Systeme, volume 155 of Informatik-Fachberichte, page 388-394. Springer, (1987)GLUE: Opening the World to Theorem Provers., and . LPNMR, volume 1265 of Lecture Notes in Computer Science, page 411-420. Springer, (1997)Specifications of Inference Rules and Their Automatic Translation., and . TABLEAUX, volume 918 of Lecture Notes in Computer Science, page 185-200. Springer, (1995)