Diese Seite auf DeutschCette page en françaisQuesta pagina in italiano
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/astrachan

Owen L. Astrachan (astrachan)

Contributions to 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.