158:
128:
547:
230:
255:
532:
389:
206:
226:
270:
542:
537:
527:
517:
153:
458:
432:
381:
81:
397:
198:
194:
29:
341:
247:
141:
116:
500:
473:
336:
522:
89:
132:
366:
243:
137:
120:
75:
448:
264:
291:
285:
454:
428:
385:
315:
301:
278:
55:
218:
422:
34:
362:
49:
511:
393:
101:
149:
396:
is 1.431, and it is indexed by several science indexing services, including the
179:
358:
322:
214:
370:
401:
235:
374:
307:
167:
373:, and other deductions in classical and non-classical
388:, a professor of theoretical computer science at the
328:
313:
299:
276:
262:
190:
178:
166:
112:
98:
88:
74:
66:
61:
48:
40:
28:
157:
548:Springer Science+Business Media academic journals
365:until 1992. It covers research and advances in
8:
19:
18:
424:Automated reasoning and its applications
413:
390:Ludwig-Maximilians-Universität München
533:Academic journals established in 1983
384:. As of 2021, the editor-in-chief is
7:
14:
474:"Journal of Automated Reasoning"
447:Allen B. Tucker (28 June 2004),
156:
398:Science Citation Index Expanded
382:Springer Science+Business Media
82:Springer Science+Business Media
354:Journal of Automated Reasoning
22:Journal of Automated Reasoning
1:
369:, mechanical verification of
380:The journal is published by
543:Formal methods publications
357:was established in 1983 by
564:
538:Logic in computer science
528:English-language journals
518:Computer science journals
450:Computer science handbook
333:
421:Robert Veroff (1997),
113:Standard abbreviations
392:. The journal's 2019
367:automated reasoning
185:J. Automat. Reason.
62:Publication details
25:
386:Jasmin Blanchette
349:
348:
173:J. Autom. Reason.
56:Jasmin Blanchette
555:
504:
503:
501:Official website
486:
485:
483:
481:
470:
464:
463:
444:
438:
437:
418:
337:Journal homepage
319:
304:
288:
281:
267:
258:
162:
160:
159:
104:
35:Computer science
26:
23:
16:Academic journal
563:
562:
558:
557:
556:
554:
553:
552:
508:
507:
499:
498:
495:
490:
489:
479:
477:
472:
471:
467:
461:
446:
445:
441:
435:
420:
419:
415:
410:
363:editor in chief
314:
300:
295:
290:
284:
277:
263:
234:
193:
192:
136:
115:
114:
105:
100:
84:
21:
17:
12:
11:
5:
561:
559:
551:
550:
545:
540:
535:
530:
525:
523:Logic journals
520:
510:
509:
506:
505:
494:
493:External links
491:
488:
487:
465:
459:
439:
433:
412:
411:
409:
406:
361:, who was its
347:
346:
345:
344:
339:
331:
330:
326:
325:
320:
311:
310:
305:
297:
296:
282:
274:
273:
268:
260:
259:
188:
187:
182:
176:
175:
170:
164:
163:
110:
109:
106:
99:
96:
95:
92:
86:
85:
80:
78:
72:
71:
68:
64:
63:
59:
58:
53:
46:
45:
42:
38:
37:
32:
15:
13:
10:
9:
6:
4:
3:
2:
560:
549:
546:
544:
541:
539:
536:
534:
531:
529:
526:
524:
521:
519:
516:
515:
513:
502:
497:
496:
492:
475:
469:
466:
462:
460:9780203494455
456:
453:, CRC Press,
452:
451:
443:
440:
436:
434:9780262220552
430:
427:, MIT Press,
426:
425:
417:
414:
407:
405:
403:
399:
395:
394:impact factor
391:
387:
383:
378:
376:
372:
368:
364:
360:
356:
355:
343:
342:Online access
340:
338:
335:
334:
332:
327:
324:
321:
317:
312:
309:
306:
303:
298:
293:
289: (print)
287:
283:
280:
275:
272:
269:
266:
261:
257:
253:
249:
245:
241:
237:
232:
228:
224:
220:
216:
212:
208:
204:
200:
196:
189:
186:
183:
181:
177:
174:
171:
169:
165:
155:
151:
147:
143:
139:
134:
130:
126:
122:
118:
111:
107:
103:
102:Impact factor
97:
93:
91:
87:
83:
79:
77:
73:
69:
65:
60:
57:
54:
51:
47:
43:
39:
36:
33:
31:
27:
24:
478:. Retrieved
468:
449:
442:
423:
416:
379:
353:
352:
350:
251:
239:
222:
210:
202:
184:
172:
145:
124:
108:1.431 (2019)
70:1983–present
20:
294: (web)
512:Categories
480:11 January
476:. Springer
408:References
308:sf93093541
180:MathSciNet
150:MathSciNet
30:Discipline
359:Larry Wos
323:263592661
318: no.
292:1573-0670
286:0168-7433
90:Frequency
76:Publisher
371:theorems
191:Indexing
129:Bluebook
52: by
41:Language
250:)
221:)
209:)
144:)
123:)
67:History
44:English
457:
431:
402:Scopus
271:JAREEW
256:Scopus
252:·
240:·
238:
223:·
211:·
203:·
201:
146:·
125:·
94:8/year
50:Edited
375:logic
329:Links
265:CODEN
254:
242:
225:
215:JSTOR
213:
205:
195:CODEN
168:ISO 4
148:
127:
117:ISO 4
482:2021
455:ISBN
429:ISBN
400:and
351:The
316:OCLC
302:LCCN
279:ISSN
236:MIAR
227:LCCN
207:alt2
248:alt
244:NLM
231:alt
219:alt
199:alt
154:alt
142:alt
138:NLM
133:alt
121:alt
514::
404:.
377:.
484:.
246:(
233:)
229:(
217:(
197:(
161:)
152:(
140:(
135:)
131:(
119:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.