Logo Logo
Hilfe
Hilfe
Switch Language to English

Bry, François und Manthey, Rainer (1987): A Hyperresolution-Based Proof Procedure and its Implementation in Prolog. 11th German Workshop on Artificial Intelligence (GWAI), Geseke bei Paderborn, Deutschland, 28.09. - 02.10.1987. Morik, Katharina (Hrsg.): In: GWAI-87: 11th German Workshop on Artificial Intelligence ; proceedings, Berlin u.a.: Springer. S. 221-230 [PDF, 1MB]

[thumbnail of 8465.pdf]
Vorschau
Download (1MB)
Dokument bearbeiten Dokument bearbeiten