Cette page en françaisQuesta pagina in italianoThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/luckham

David Luckham (luckham)

Beiträge zu Philosophie.ch

No contributions yet

Bibliography

    Luckham, David and Nilsson, Nils J. 1970. “Extracting Information from Resolution Proof Trees.” Artificial Intelligence 2(1): 27–54.