The SCEAS System
Navigation Menu

Journals in DBLP

J. Autom. Reasoning (jar)

  1. J. Autom. Reasoning, 1985,volume: 1, number: 1 (12 articles)
  2. J. Autom. Reasoning, 1985,volume: 1, number: 2 (4 articles)
  3. J. Autom. Reasoning, 1985,volume: 1, number: 3 (4 articles)
  4. J. Autom. Reasoning, 1985,volume: 1, number: 4 (5 articles)
  5. J. Autom. Reasoning, 1986,volume: 2, number: 1 (5 articles)
  6. J. Autom. Reasoning, 1986,volume: 2, number: 2 (5 articles)
  7. J. Autom. Reasoning, 1986,volume: 2, number: 3 (5 articles)
  8. J. Autom. Reasoning, 1986,volume: 2, number: 4 (3 articles)
  9. J. Autom. Reasoning, 1987,volume: 3, number: 1 (4 articles)
  10. J. Autom. Reasoning, 1987,volume: 3, number: 2 (3 articles)
  11. J. Autom. Reasoning, 1987,volume: 3, number: 3 (7 articles)
  12. J. Autom. Reasoning, 1987,volume: 3, number: 4 (6 articles)
  13. J. Autom. Reasoning, 1988,volume: 4, number: 1 (5 articles)
  14. J. Autom. Reasoning, 1988,volume: 4, number: 2 (5 articles)
  15. J. Autom. Reasoning, 1988,volume: 4, number: 3 (5 articles)
  16. J. Autom. Reasoning, 1988,volume: 4, number: 4 (7 articles)
  17. J. Autom. Reasoning, 1989,volume: 5, number: 1 (7 articles)
  18. J. Autom. Reasoning, 1989,volume: 5, number: 2 (6 articles)
  19. J. Autom. Reasoning, 1989,volume: 5, number: 3 (7 articles)
  20. J. Autom. Reasoning, 1989,volume: 5, number: 4 (7 articles)
  21. J. Autom. Reasoning, 1990,volume: 6, number: 1 (5 articles)
  22. J. Autom. Reasoning, 1990,volume: 6, number: 2 (7 articles)
  23. J. Autom. Reasoning, 1990,volume: 6, number: 3 (7 articles)
  24. J. Autom. Reasoning, 1990,volume: 6, number: 4 (6 articles)
  25. J. Autom. Reasoning, 1991,volume: 7, number: 1 (4 articles)
  26. J. Autom. Reasoning, 1991,volume: 7, number: 2 (7 articles)
  27. J. Autom. Reasoning, 1991,volume: 7, number: 3 (9 articles)
  28. J. Autom. Reasoning, 1991,volume: 7, number: 4 (11 articles)
  29. J. Autom. Reasoning, 1992,volume: 8, number: 1 (6 articles)
  30. J. Autom. Reasoning, 1992,volume: 8, number: 2 (6 articles)
  31. J. Autom. Reasoning, 1992,volume: 8, number: 3 (5 articles)
  32. J. Autom. Reasoning, 1992,volume: 9, number: 1 (6 articles)
  33. J. Autom. Reasoning, 1992,volume: 9, number: 2 (8 articles)
  34. J. Autom. Reasoning, 1992,volume: 9, number: 3 (7 articles)
  35. J. Autom. Reasoning, 1993,volume: 10, number: 1 (7 articles)
  36. J. Autom. Reasoning, 1993,volume: 10, number: 2 (7 articles)
  37. J. Autom. Reasoning, 1993,volume: 10, number: 3 (6 articles)
  38. J. Autom. Reasoning, 1993,volume: 11, number: 1 (6 articles)
  39. J. Autom. Reasoning, 1993,volume: 11, number: 2 (6 articles)
  40. J. Autom. Reasoning, 1993,volume: 11, number: 3 (7 articles)
  41. J. Autom. Reasoning, 1994,volume: 12, number: 1 (5 articles)
  42. J. Autom. Reasoning, 1994,volume: 12, number: 2 (4 articles)
  43. J. Autom. Reasoning, 1994,volume: 12, number: 3 (5 articles)
  44. J. Autom. Reasoning, 1994,volume: 13, number: 1 (6 articles)
  45. J. Autom. Reasoning, 1994,volume: 13, number: 2 (5 articles)
  46. J. Autom. Reasoning, 1994,volume: 13, number: 3 (7 articles)
  47. J. Autom. Reasoning, 1995,volume: 14, number: 1 (5 articles)
  48. J. Autom. Reasoning, 1995,volume: 14, number: 2 (6 articles)
  49. J. Autom. Reasoning, 1995,volume: 14, number: 3 (4 articles)
  50. J. Autom. Reasoning, 1995,volume: 15, number: 1 (4 articles)
  51. J. Autom. Reasoning, 1995,volume: 15, number: 2 (4 articles)
  52. J. Autom. Reasoning, 1995,volume: 15, number: 3 (4 articles)
  53. J. Autom. Reasoning, 1996,volume: 16, number: 1-2 (6 articles)
  54. J. Autom. Reasoning, 1996,volume: 16, number: 3 (5 articles)
  55. J. Autom. Reasoning, 1996,volume: 17, number: 1 (5 articles)
  56. J. Autom. Reasoning, 1996,volume: 17, number: 2 (4 articles)
  57. J. Autom. Reasoning, 1996,volume: 17, number: 3 (5 articles)
  58. J. Autom. Reasoning, 1997,volume: 18, number: 1 (7 articles)
  59. J. Autom. Reasoning, 1997,volume: 18, number: 2 (19 articles)
  60. J. Autom. Reasoning, 1997,volume: 18, number: 3 (4 articles)
  61. J. Autom. Reasoning, 1997,volume: 19, number: 1 (4 articles)
  62. J. Autom. Reasoning, 1997,volume: 19, number: 2 (3 articles)
  63. J. Autom. Reasoning, 1997,volume: 19, number: 3 (4 articles)
  64. J. Autom. Reasoning, 1998,volume: 20, number: 1 (9 articles)
  65. J. Autom. Reasoning, 1998,volume: 20, number: 3 (6 articles)
  66. J. Autom. Reasoning, 1998,volume: 21, number: 1 (5 articles)
  67. J. Autom. Reasoning, 1998,volume: 21, number: 2 (4 articles)
  68. J. Autom. Reasoning, 1998,volume: 21, number: 3 (5 articles)
  69. J. Autom. Reasoning, 1999,volume: 22, number: 1 (3 articles)
  70. J. Autom. Reasoning, 1999,volume: 22, number: 2 (8 articles)
  71. J. Autom. Reasoning, 1999,volume: 22, number: 4 (3 articles)
  72. J. Autom. Reasoning, 1999,volume: 23, number: 1 (5 articles)
  73. J. Autom. Reasoning, 1999,volume: 23, number: 2 (2 articles)
  74. J. Autom. Reasoning, 1999,volume: 23, number: 3-4 (9 articles)
  75. J. Autom. Reasoning, 2000,volume: 24, number: 1/2 (11 articles)
  76. J. Autom. Reasoning, 2000,volume: 24, number: 3 (4 articles)
  77. J. Autom. Reasoning, 2000,volume: 24, number: 4 (3 articles)
  78. J. Autom. Reasoning, 2000,volume: 25, number: 1 (2 articles)
  79. J. Autom. Reasoning, 2000,volume: 25, number: 2 (2 articles)
  80. J. Autom. Reasoning, 2000,volume: 25, number: 3 (2 articles)
  81. J. Autom. Reasoning, 2000,volume: 25, number: 4 (2 articles)
  82. J. Autom. Reasoning, 2001,volume: 26, number: 1 (3 articles)
  83. J. Autom. Reasoning, 2001,volume: 26, number: 2 (4 articles)
  84. J. Autom. Reasoning, 2001,volume: 26, number: 3 (3 articles)
  85. J. Autom. Reasoning, 2001,volume: 26, number: 4 (3 articles)
  86. J. Autom. Reasoning, 2001,volume: 27, number: 1 (4 articles)
  87. J. Autom. Reasoning, 2001,volume: 27, number: 2 (7 articles)
  88. J. Autom. Reasoning, 2001,volume: 27, number: 3 (4 articles)
  89. J. Autom. Reasoning, 2001,volume: 27, number: 4 (3 articles)
  90. J. Autom. Reasoning, 2002,volume: 28, number: 1 (3 articles)
  91. J. Autom. Reasoning, 2002,volume: 28, number: 2 (5 articles)
  92. J. Autom. Reasoning, 2002,volume: 28, number: 3 (4 articles)
  93. J. Autom. Reasoning, 2002,volume: 28, number: 5 (4 articles)
  94. J. Autom. Reasoning, 2002,volume: 29, number: 1 (5 articles)
  95. J. Autom. Reasoning, 2002,volume: 29, number: 2 (3 articles)
  96. J. Autom. Reasoning, 2002,volume: 29, number: 3-4 (9 articles)
  97. J. Autom. Reasoning, 2003,volume: 30, number: 1 (4 articles)
  98. J. Autom. Reasoning, 2003,volume: 30, number: 2 (4 articles)
  99. J. Autom. Reasoning, 2003,volume: 30, number: 3-4 (6 articles)
  100. J. Autom. Reasoning, 2003,volume: 31, number: 1 (5 articles)
  101. J. Autom. Reasoning, 2003,volume: 31, number: 2 (4 articles)
  102. J. Autom. Reasoning, 2003,volume: 31, number: 3-4 (6 articles)
  103. J. Autom. Reasoning, 2004,volume: 32, number: 1 (4 articles)
  104. J. Autom. Reasoning, 2004,volume: 32, number: 2 (4 articles)
  105. J. Autom. Reasoning, 2004,volume: 32, number: 3 (4 articles)
  106. J. Autom. Reasoning, 2004,volume: 33, number: 1 (3 articles)
  107. J. Autom. Reasoning, 2004,volume: 33, number: 2 (3 articles)
  108. J. Autom. Reasoning, 2004,volume: 33, number: 3-4 (6 articles)
  109. J. Autom. Reasoning, 2005,volume: 34, number: 1 (4 articles)
  110. J. Autom. Reasoning, 2005,volume: 34, number: 2 (4 articles)
  111. J. Autom. Reasoning, 2005,volume: 34, number: 3 (3 articles)
  112. J. Autom. Reasoning, 2005,volume: 34, number: 4 (4 articles)
  113. J. Autom. Reasoning, 2005,volume: 35, number: 1-3 (12 articles)
  114. J. Autom. Reasoning, 2005,volume: 35, number: 4 (5 articles)
  115. J. Autom. Reasoning, 2006,volume: 36, number: 1-2 (6 articles)
  116. J. Autom. Reasoning, 2006,volume: 36, number: 3 (4 articles)
  117. J. Autom. Reasoning, 2006,volume: 36, number: 4 (5 articles)
  118. J. Autom. Reasoning, 2006,volume: 37, number: 1-2 (7 articles)
  119. J. Autom. Reasoning, 2006,volume: 37, number: 3 (3 articles)
  120. J. Autom. Reasoning, 2006,volume: 37, number: 4 (4 articles)
  121. J. Autom. Reasoning, 2007,volume: 38, number: 1-3 (11 articles)
  122. J. Autom. Reasoning, 2007,volume: 38, number: 4 (3 articles)
  123. J. Autom. Reasoning, 2007,volume: 39, number: 1 (3 articles)
  124. J. Autom. Reasoning, 2007,volume: 39, number: 2 (6 articles)
  125. J. Autom. Reasoning, 2007,volume: 39, number: 3 (6 articles)
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002