Logo
DeutschClear Cookie - decide language by browser settings
Bry, François and 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]
Preview

PDF

1MB