Title of cluster (medium version) Journal of automated reasoning
Journal of automated reasoning
Key-title: Journal of automated reasoning
Key-title: Journal of automated reasoning (Dordrecht. Online)
Title proper: Journal of automated reasoning.
Title proper: Journal of automated reasoning.
Country: Netherlands
Country: Netherlands
Record information
Last modification date: 25/01/2009
Type of record: Confirmed
Last modification date: 07/02/2021
Type of record: Confirmed
ISSN Center responsible of the record: ISSN National Centre for The Netherlands
ISSN Center responsible of the record: ISSN National Centre for The Netherlands