About: Journal of Automated Reasoning

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Journal of Automated Reasoning Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : platform.yourdatastories.eu:8890 associated with source document(s)

The Journal of Automated Reasoning was established in 1983 by Larry Wos who was its editor in chief until 1992. It covers research and advances in automated reasoning — mechanical verification of theorems and other deductions in classical and non-classical logic.The journal is published by Springer Science+Business Media. As of 2010, the editor-in-chief is Tobias Nipkow.

Attributes	Values
rdfs:comment	The Journal of Automated Reasoning was established in 1983 by Larry Wos who was its editor in chief until 1992. It covers research and advances in automated reasoning — mechanical verification of theorems and other deductions in classical and non-classical logic.The journal is published by Springer Science+Business Media. As of 2010, the editor-in-chief is Tobias Nipkow.
foaf:name	Journal of Automated Reasoning
foaf:homepage	http://www.springer.com/computer/theoretical+computer+science/journal/10817
abbreviation	J. Autom. Reason.
academic discipline	dbpedia:Computer_science
CODEN	JAREEW
editor	Nipkow, Tobias
first publication year	1983-01-01(xsd:dateTime)
frequency of publication	8/year
impact factor	0(xsd:double)
impact factor as of	2011-01-01(xsd:dateTime)
issn	0168-7433 1573-0670
LCCN	sf93093541
OCLC	263592661
publisher	dbpedia:Springer_Science+Business_Media

Faceted Search & Find service v1.13.91 as of Nov 14 2017

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3212 as of Mar 29 2016, on Linux (x86_64-unknown-linux-gnu), Single-Server Edition (68 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software