Shie-Jue Lee (lee-sju)

Contributi a Philosophie.ch

Bibliography

Lee, Shie-Jue and Plaisted, David A. 1994. “Problem Solving by Searching for Models with a Theorem Prover.” Artificial Intelligence 69(1–2): 205–233.