David Luckham (luckham)

Contributi a Philosophie.ch

Bibliography

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