thumbnail

Journal of Applied Logic

  1570-8683

 

 

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

Lĩnh vực:

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
A theory of permission based on the notion of derogation
Tập 8 - Trang 97-113 - 2010
Audun Stolpe
Integrating external deduction tools with ACL2
Tập 7 - Trang 3-25 - 2009
Matt Kaufmann, J Strother Moore, Sandip Ray, Erik Reeber
Parameter selection based on fuzzy logic to improve UAV path-following algorithms
Tập 24 - Trang 62-75 - 2017
Pablo Garcia-Aunon, Matilde Santos Peñas, Jesus Manuel de la Cruz García
Qualitative probabilistic inference under varied entropy levels
Tập 19 - Trang 87-101 - 2016
Paul D. Thorn, Gerhard Schurz
Capturing equilibrium models in modal logic
Tập 12 - Trang 192-207 - 2014
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Recognition of damaged letters based on mathematical fuzzy logic analysis
Tập 13 - Trang 94-104 - 2015
Vilém Novák, Petr Hurtík, Hashim Habiballa, Martin Štepnička
Fuzzy system for intelligent word recognition using a regular grammar
Tập 24 - Trang 45-53 - 2017
D. Álvarez, R.A. Fernández, L. Sánchez
Challenging epistemology: Interactive proofs and zero knowledge
Tập 6 - Trang 490-501 - 2008
Justin Bledin
Các tạp chí khác
Tạp chí Khoa học Kiến trúc và Xây dựng
Tạp chí Khoa học - Công nghệ trong lĩnh vực An toàn thông tin
Tạp chí Nghiên cứu Khoa học và Công nghệ quân sự
Tạp chí Khoa học Đào tạo & Huấn luyện thể thao
Tạp chí Khoa học Xã hội, Nhân văn và Giáo dục Trường Đại học Sư phạm - Đại học Đà Nẵng
Nuclear Science and Technology
Tạp chí Nghiên cứu Chính sách và Quản lý
Tạp chí Khoa học Đại học Tây Nguyên
Tạp chí điện tử Khoa học và Công nghệ Giao thông
Tạp chí Y học Cộng đồng