Lawrence J. Henschen (henschen-lj)

Beiträge zu Philosophie.ch

Bibliography

Henschen, Lawrence J. and Park, Hyung-Sik. 1988. “Compiling the GCWA in Indefinite Deductive Databases.” in Foundations of Deductive Databases and Logic Programming, edited by Jack Minker, pp. 395–438. San Francisco, California: Morgan Kaufmann Publishers.
Wos, Larry, Winker, S., Smith, Barry F., Veroff, Robert and Henschen, Lawrence J. 1984. “A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains.” Artificial Intelligence 22(3): 303–356.