3 options
Journal of automated reasoning.
Springer Nature Journals (NERL Read & Publish Collection) Available from 02/01/1997 volume: 18 issue: 1. Available online
View onlineSpringerLink Journals Computer Science Archives Available from 01/01/1985 volume: 1 issue: 1 until 12/31/1996 volume: 17 issue: 3. Available online
View online- Format:
- Journal/Periodical
- Language:
- English
- Subjects (All):
- Automatic theorem proving--Periodicals.
- Automatic theorem proving.
- Artificial intelligence--Periodicals.
- Artificial intelligence.
- Logic programming--Periodicals.
- Logic programming.
- Genre:
- Periodicals.
- Physical Description:
- 1 online resource
- Eight issues yearly, 2009-
- Began with Vol. 1, issue 1, (Mar. 1985).
- Place of Publication:
- Dordrecht : Kluwer Academic Publishers
- System Details:
- Mode of access: World Wide Web.
- Notes:
- Refereed/Peer-reviewed
- Some issues combined.
- 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).
- ISSN:
- 1573-0670
- OCLC:
- 38266687
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.