thumbnail

Journal of Applied Logic

  1570-8683

 

 

 

Cơ quản chủ quản:  N/A

Phân tích ảnh hưởng

Các bài báo tiêu biểu

The three bases for the enthymeme: A dialogical theory
Tập 6 Số 3 - Trang 361-379 - 2008
Fabrizio Macagno
A general first-order solution to the ramification problem with cycles
Tập 11 - Trang 289-308 - 2013
Hannes Strass, Michael Thielscher
Simulating Turing machines on Maurer machines
Tập 6 - Trang 1-23 - 2008
J.A. Bergstra, C.A. Middelburg
Living up to one's commitments: Agency, strategies and trust
Tập 6 - Trang 251-266 - 2008
Thomas Müller
Answer comparison in automated question answering
Tập 5 - Trang 104-120 - 2007
Tiphaine Dalmas, Bonnie Webber
A proof-centric approach to mathematical assistants
Tập 4 - Trang 505-532 - 2006
Lucas Dixon, Jacques Fleuriot
Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty
Tập 11 - Trang 309-327 - 2013
Sebastian Link
Innovations in computational type theory using Nuprl
Tập 4 - Trang 428-469 - 2006
S.F. Allen, M. Bickford, R.L. Constable, R. Eaton, C. Kreitz, L. Lorigo, E. Moran
TPS: A hybrid automatic-interactive system for developing proofs
Tập 4 - Trang 367-395 - 2006
Peter B. Andrews, Chad E. Brown
A postulate-based analysis of comparative preference statements
Tập 12 - Trang 501-521 - 2014
Souhila Kaci, Namrata Patel
Chỉ số ảnh hưởng
Số bài báo
210
Số trích dẫn
39
Avg. Citation
0.19
Impact Factor (IF)
0
H-index
1
H-index (5 năm)
1
i10
1
i10-index (5 năm)
0
Các tạp chí khác
Tạp chí Giáo dục
Tạp chí Nghiên cứu Khoa học và Công nghệ quân sự
Khoa học Kỹ thuật Mỏ Địa chất
Journal of Technical Education Science
Tạp chí Y Dược học Cần Thơ
Tạp chí Y - Dược học quân sự
VNU JOURNAL OF ECONOMICS AND BUSINESS
Khoa học ĐHQGHN: Khoa học Tự nhiên và Công nghệ
VNU Journal of Science: Medical and Pharmaceutical Sciences
Academia Journal of Biology