( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
FHCL - functions in Horn Clause logic

, и . Forschungsberichte, TU Munich, (1988)

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.

Steffen Hölldobler

Michael Hölldobler

Karl Hölldobler

Tanja Hölldobler

Bert Hölldobler

 

Другие публикации лиц с тем же именем

Equations, order-sortedness and inheritance in logic programming, и . Forschungsberichte, TU Munich, (1989)FHCL - functions in Horn Clause logic, и . Forschungsberichte, TU Munich, (1988)Equational Logic Programming.. SLP, стр. 335-346. IEEE-CS, (1987)A Computational Logic Approach to Human Spatial Reasoning., , и . SSCI, стр. 1627-1634. IEEE, (2015)Connectionist Inference Systems, и . (1991)Equational Logic and Theories of Action.. APPIA-GULP-PRODE, стр. 111-126. (1996)The Weak Completion Semantics and Counterexamples., и . FLAP, 10 (2): 121-154 (2023)Principles and Clusters in Human Syllogistic Reasoning., , и . Bridging@CogSci, том 1994 из CEUR Workshop Proceedings, стр. 69-83. CEUR-WS.org, (2017)An Abstract Dual Propositional Model Counter., , и . YSIP, том 1837 из CEUR Workshop Proceedings, стр. 17-26. CEUR-WS.org, (2017)Lessons Learned from AlphaGo., , и . YSIP, том 1837 из CEUR Workshop Proceedings, стр. 92-101. CEUR-WS.org, (2017)