Journal of automated reasoning [electronic resource].
Material type:
Continuing resourcePublication details: Kluwer Academic Publishers; Netherlands : Sprigner NetherlandsISSN: - 1573-0670
- Journal of automated reasoning (Online)
- Automatic theorem proving -- Periodicals
- Artificial intelligence -- Periodicals
- Logic programming -- Periodicals
- Th�eor�emes -- D�emonstration automatique -- P�eriodiques
- Intelligence artificielle -- P�eriodiques
- Programmation logique -- P�eriodiques
- Artificial intelligence
- Automatic theorem proving
- Logic programming
- 511.3
- QA76.9.A96
License restrictions may limit access.
Some issues combined.
Mode of access: World Wide Web.
Vol. 1, issue 1, (Mar. 1985); title from journal information screen (viewed Jan. 25, 1998).
Vol. 61, issue 1/4 (June 2018) (Springer Lnk, viewed Nov. 28, 2018).