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

Shie-Jue Lee (lee-sju)

Beiträge zu Philosophie.ch

No contributions yet

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.