Journal of automated reasoning (Dordrecht, Holland ; Boston : D. Reidel Pub. Co., 1985)
English
Κλειστό Βιβλιοστάσιο.
Keywords: Artificial intelligence -- Periodicals; Automatic theorem proving -- Periodicals