Diese Seite auf DeutschCette page en françaisQuesta pagina in italiano
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://www.philosophie.ch/profil/murray-nv

Neil V. Murray (murray-nv)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Murray, Neil V. 1982. “Completely Non-Clausal Theorem Proving.” Artificial Intelligence 18(1): 67–85.