Diese Seite auf DeutschQuesta 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)

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