Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Journal_of_Automated_Reasoning> ?p ?o }
Showing triples 1 to 89 of
89
with 100 triples 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 editor Tobias_Nipkow.
- 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 wikiPageLength "2195".
- Journal_of_Automated_Reasoning wikiPageOutDegree "19".
- Journal_of_Automated_Reasoning wikiPageRevisionID "627004665".
- Journal_of_Automated_Reasoning wikiPageWikiLink Automated_reasoning.
- Journal_of_Automated_Reasoning wikiPageWikiLink Category:Computer_science_journals.
- Journal_of_Automated_Reasoning wikiPageWikiLink Category:English-language_journals.
- Journal_of_Automated_Reasoning wikiPageWikiLink Category:Formal_methods_publications.
- Journal_of_Automated_Reasoning wikiPageWikiLink Category:Logic_in_computer_science.
- Journal_of_Automated_Reasoning wikiPageWikiLink Category:Logic_journals.
- Journal_of_Automated_Reasoning wikiPageWikiLink Category:Publications_established_in_1983.
- Journal_of_Automated_Reasoning wikiPageWikiLink Category:Springer_Science+Business_Media_academic_journals.
- Journal_of_Automated_Reasoning wikiPageWikiLink Computer_science.
- Journal_of_Automated_Reasoning wikiPageWikiLink Editor-in-chief.
- Journal_of_Automated_Reasoning wikiPageWikiLink Impact_factor.
- Journal_of_Automated_Reasoning wikiPageWikiLink Larry_Wos.
- Journal_of_Automated_Reasoning wikiPageWikiLink Logic.
- Journal_of_Automated_Reasoning wikiPageWikiLink Science_Citation_Index.
- Journal_of_Automated_Reasoning wikiPageWikiLink Scopus.
- Journal_of_Automated_Reasoning wikiPageWikiLink Springer_Science+Business_Media.
- Journal_of_Automated_Reasoning wikiPageWikiLink Theorem.
- Journal_of_Automated_Reasoning wikiPageWikiLink Tobias_Nipkow.
- Journal_of_Automated_Reasoning wikiPageWikiLinkText "J. Automat. Reason.".
- Journal_of_Automated_Reasoning wikiPageWikiLinkText "Journal of Automated Reasoning".
- 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 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 wikiPageUsesTemplate Template:Infobox_journal.
- Journal_of_Automated_Reasoning wikiPageUsesTemplate Template:Official.
- Journal_of_Automated_Reasoning wikiPageUsesTemplate Template:Reflist.
- 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 AcademicJournal.
- Journal_of_Automated_Reasoning type PeriodicalLiterature.
- Journal_of_Automated_Reasoning type Work.
- Journal_of_Automated_Reasoning type WrittenWork.
- Journal_of_Automated_Reasoning type Establishment.
- Journal_of_Automated_Reasoning type Method.
- Journal_of_Automated_Reasoning type Publication.
- Journal_of_Automated_Reasoning type CreativeWork.
- Journal_of_Automated_Reasoning type Thing.
- Journal_of_Automated_Reasoning type Q1092563.
- Journal_of_Automated_Reasoning type Q386724.
- Journal_of_Automated_Reasoning type Q737498.
- 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 sameAs Q6294821.
- Journal_of_Automated_Reasoning sameAs مجلة_المنطق_الآلي.
- Journal_of_Automated_Reasoning sameAs m.0bwj539.
- Journal_of_Automated_Reasoning sameAs Q6294821.
- Journal_of_Automated_Reasoning wasDerivedFrom Journal_of_Automated_Reasoning?oldid=627004665.
- Journal_of_Automated_Reasoning homepage 10817.
- Journal_of_Automated_Reasoning isPrimaryTopicOf Journal_of_Automated_Reasoning.
- Journal_of_Automated_Reasoning name "Journal of Automated Reasoning".