Journal of Automated Reasoning
http://dbpedia.org/resource/Journal_of_Automated_Reasoning an entity of type: Thing
المنطق الآلي مجلة تم تأسيس في العام 1983 على يد لاري ووس الذي ترأس تحريرها حتى عام 1992. وهي تكشف النقاب عن الأبحاث والتطورات الحادثة في المنطق الآلي - أي التحقق الميكانيكي من النظريات وغيرها من الاستنتاجات فيما يتعلق بالمنطق الكلاسيكي وغير الكلاسيكي. ويتم نشر المجلة من خلال سبرنجر. ومنذ عام 2010، أصبح رئيس التحرير هو توبياس نيبكو. ومعامل التأثير للمجلة في عام 2011 هو 0.714، وهي مفهرسة من قبل العديد من خدمات الفهرسة العلمية، بما في ذلك فهرس الاقتباس العلمي الموسع وScopus.
rdf:langString
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.
rdf:langString
rdf:langString
مجلة المنطق الآلي
rdf:langString
Journal of Automated Reasoning
rdf:langString
Journal of Automated Reasoning
xsd:integer
27137205
xsd:integer
1105036190
rdf:langString
sf93093541
xsd:double
1.431
rdf:langString
J. Autom. Reason.
xsd:integer
8
xsd:integer
1983
xsd:integer
168
xsd:integer
263592661
rdf:langString
Journal of Automated Reasoning
rdf:langString
المنطق الآلي مجلة تم تأسيس في العام 1983 على يد لاري ووس الذي ترأس تحريرها حتى عام 1992. وهي تكشف النقاب عن الأبحاث والتطورات الحادثة في المنطق الآلي - أي التحقق الميكانيكي من النظريات وغيرها من الاستنتاجات فيما يتعلق بالمنطق الكلاسيكي وغير الكلاسيكي. ويتم نشر المجلة من خلال سبرنجر. ومنذ عام 2010، أصبح رئيس التحرير هو توبياس نيبكو. ومعامل التأثير للمجلة في عام 2011 هو 0.714، وهي مفهرسة من قبل العديد من خدمات الفهرسة العلمية، بما في ذلك فهرس الاقتباس العلمي الموسع وScopus.
rdf:langString
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 2021, the editor-in-chief is Jasmin Blanchette, an associate professor of computer science at the Vrije Universiteit Amsterdam. The journal's 2019 impact factor is 1.431, and it is indexed by several science indexing services, including the Science Citation Index Expanded and Scopus.
rdf:langString
JAREEW
xsd:integer
1573
xsd:integer
2019
rdf:langString
Online access
rdf:langString
J. Automat. Reason.
xsd:double
1.431
xsd:gYear
2019
xsd:string
sf93093541
xsd:nonNegativeInteger
2440
xsd:string
J. Autom. Reason.
xsd:gYear
1983
xsd:string
8/year
xsd:string
0168-7433
xsd:string
1573-0670
xsd:string
263592661
xsd:string
JAREEW