Report copyright - Prolog - INAOEemorales/Cursos/Prolog/Acetatos/...en clasulas de Horn (’72).´ Colmerauer y su grupo en Marseille–Aix desarrollan un probador de teoremas experimental escrito en
Please pass captcha verification before submit form
Please pass captcha verification before submit form