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/astrachan

Owen L. Astrachan (astrachan)

Beiträge zu Philosophie.ch

No contributions yet

Bibliography

    Astrachan, Owen L. and Stickel, Mark E. 1991. “Caching and Lemmaizing in Model Elimination Theorem Provers.” 513. Menlo Park, California: AI Center, SRI Center International.