Logo
EnglishCookie löschen - von nun an wird die Spracheinstellung Ihres Browsers verwendet.
Bry, François; Manthey, Rainer (1987): A Hyperresolution-Based Proof Procedure and its Implementation in Prolog. 11th German Workshop on Artificial Intelligence (GWAI), 28.09. - 02.10.1987, Geseke bei Paderborn, Deutschland.
[img]
Vorschau

PDF

1MB