Journal of Automated Reasoning

CaLiGraph

Property	Value
rdf:type	Formal methods publication owl:NamedIndividual English-language journal Publication established in 1983 Springer Science+Business Media academic journal Computer science journal Logic journal
rdfs:label	Journal of Automated Reasoning
owl:sameAs	dbr:Journal_of_Automated_Reasoning
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:English-language_journals http://en.wikipedia.org/wiki/Category:Publications_established_in_1983 http://en.wikipedia.org/wiki/Category:Springer_Science%2BBusiness_Media_academic_journals http://en.wikipedia.org/wiki/John_L._Pollock http://en.wikipedia.org/wiki/Category:Computer_science_journals http://en.wikipedia.org/wiki/List_of_computer_science_journals http://en.wikipedia.org/wiki/Category:Formal_methods_publications http://en.wikipedia.org/wiki/Category:Logic_journals http://en.wikipedia.org/wiki/List_of_logic_journals http://en.wikipedia.org/wiki/Outline_of_thought
skos:prefLabel	Journal of Automated Reasoning
skos:altLabel	J. Automat. Reason. J. Automated Reasoning
clgo:abbreviation	J. Autom. Reason.
clgo:academicDiscipline	Computer science Engineering Philosophy Logic
clgo:coden	JAREEW
clgo:editor	Jasmin Blanchette
clgo:firstPublicationYear	1983
clgo:frequencyOfPublication	8/year
clgo:impactFactor	1.431
clgo:impactFactorAsOf	2019
clgo:issn	0168-7433 1573-0670
clgo:lccn	sf93093541
clgo:oclc	263592661
clgo:publisher	Springer Science+Business Media

About: clgr:Journal_of_Automated_Reasoning