Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Journal_of_Automated_Reasoning> ?p ?o. }
Showing items 1 to 73 of
73
with 100 items per page.
- Journal_of_Automated_Reasoning abbreviation "J. Autom. Reason.".
- Journal_of_Automated_Reasoning abstract "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. The journal's 2011 impact factor is 0.714, and it is indexed by several science indexing services, including the Science Citation Index Expanded and Scopus.".
- Journal_of_Automated_Reasoning academicDiscipline Computer_science.
- Journal_of_Automated_Reasoning coden "JAREEW".
- Journal_of_Automated_Reasoning firstPublicationYear "1983".
- Journal_of_Automated_Reasoning frequencyOfPublication "8/year".
- Journal_of_Automated_Reasoning impactFactor "0.714".
- Journal_of_Automated_Reasoning impactFactorAsOf "2011".
- Journal_of_Automated_Reasoning issn "0168-7433".
- Journal_of_Automated_Reasoning issn "1573-0670".
- Journal_of_Automated_Reasoning lccn "sf93093541".
- Journal_of_Automated_Reasoning oclc "263592661".
- Journal_of_Automated_Reasoning publisher Springer_Science+Business_Media.
- Journal_of_Automated_Reasoning wikiPageExternalLink 10817.
- Journal_of_Automated_Reasoning wikiPageExternalLink openurl.asp?genre=issue&issn=0168-7433&issue=current.
- Journal_of_Automated_Reasoning wikiPageID "27137205".
- Journal_of_Automated_Reasoning wikiPageRevisionID "593519387".
- Journal_of_Automated_Reasoning abbreviation "J. Autom. Reason.".
- Journal_of_Automated_Reasoning coden "JAREEW".
- Journal_of_Automated_Reasoning discipline Computer_science.
- Journal_of_Automated_Reasoning editor "Tobias Nipkow".
- Journal_of_Automated_Reasoning eissn "1573".
- Journal_of_Automated_Reasoning frequency "8".
- Journal_of_Automated_Reasoning hasPhotoCollection Journal_of_Automated_Reasoning.
- Journal_of_Automated_Reasoning history "1983".
- Journal_of_Automated_Reasoning impact "0.714".
- Journal_of_Automated_Reasoning impactYear "2011".
- Journal_of_Automated_Reasoning issn "168".
- Journal_of_Automated_Reasoning lccn "sf93093541".
- Journal_of_Automated_Reasoning link openurl.asp?genre=issue&issn=0168-7433&issue=current.
- Journal_of_Automated_Reasoning link1Name "Online access".
- Journal_of_Automated_Reasoning oclc "263592661".
- Journal_of_Automated_Reasoning publisher Springer_Science+Business_Media.
- Journal_of_Automated_Reasoning title "Journal of Automated Reasoning".
- Journal_of_Automated_Reasoning website 10817.
- Journal_of_Automated_Reasoning subject Category:Computer_science_journals.
- Journal_of_Automated_Reasoning subject Category:English-language_journals.
- Journal_of_Automated_Reasoning subject Category:Formal_methods_publications.
- Journal_of_Automated_Reasoning subject Category:Logic_in_computer_science.
- Journal_of_Automated_Reasoning subject Category:Logic_journals.
- Journal_of_Automated_Reasoning subject Category:Publications_established_in_1983.
- Journal_of_Automated_Reasoning subject Category:Springer_Science+Business_Media_academic_journals.
- Journal_of_Automated_Reasoning type Artifact100021939.
- Journal_of_Automated_Reasoning type ComputerScienceJournals.
- Journal_of_Automated_Reasoning type Creation103129123.
- Journal_of_Automated_Reasoning type English-languageJournals.
- Journal_of_Automated_Reasoning type FormalMethodsPublications.
- Journal_of_Automated_Reasoning type LogicJournals.
- Journal_of_Automated_Reasoning type Object100002684.
- Journal_of_Automated_Reasoning type Periodical106593296.
- Journal_of_Automated_Reasoning type PhysicalEntity100001930.
- Journal_of_Automated_Reasoning type Product104007894.
- Journal_of_Automated_Reasoning type Publication106589574.
- Journal_of_Automated_Reasoning type PublicationsEstablishedIn1983.
- Journal_of_Automated_Reasoning type Whole100003553.
- Journal_of_Automated_Reasoning type Work104599396.
- Journal_of_Automated_Reasoning type AcademicJournal.
- Journal_of_Automated_Reasoning type PeriodicalLiterature.
- Journal_of_Automated_Reasoning type Work.
- Journal_of_Automated_Reasoning type WrittenWork.
- Journal_of_Automated_Reasoning type CreativeWork.
- Journal_of_Automated_Reasoning type InformationEntity.
- Journal_of_Automated_Reasoning 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.".
- Journal_of_Automated_Reasoning label "Journal of Automated Reasoning".
- Journal_of_Automated_Reasoning label "مجلة المنطق الآلي".
- Journal_of_Automated_Reasoning sameAs m.0bwj539.
- Journal_of_Automated_Reasoning sameAs Q6294821.
- Journal_of_Automated_Reasoning sameAs Q6294821.
- Journal_of_Automated_Reasoning sameAs Journal_of_Automated_Reasoning.
- Journal_of_Automated_Reasoning wasDerivedFrom Journal_of_Automated_Reasoning?oldid=593519387.
- Journal_of_Automated_Reasoning homepage 10817.
- Journal_of_Automated_Reasoning isPrimaryTopicOf Journal_of_Automated_Reasoning.
- Journal_of_Automated_Reasoning name "Journal of Automated Reasoning".