Journal of automated reasoning [electronic resource].
[Dordrecht] : Kluwer Academic Publishers
[Netherlands] : Sprigner Netherlands
Some issues combined.
Mode of access: World Wide Web.
Description based on: Vol. 18, no. 1 (1997); title from journal information screen (viewed Jan. 25, 1998).
Latest issue consulted: Vol. 50, no. 3 (Mar. 2013) (Springer Lnk, viewed Feb. 7, 2013).
Refereed/Peer-reviewed
Automatic theorem proving
Artificial intelligence
Logic programming
Théorèmes
Intelligence artificielle
Programmation logique