Journal of automated reasoning (Dordrecht, Netherlands : Kluwer Academic publishers, 1985)
Latest issue consulted: Vol. 11, no. 3 (1994)
Keywords: Automatic theorem proving -- Periodicals; Artificial intelligence -- Periodicals