Journal of Automated Reasoning

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
The addition of bounded quantification and partial functions to a computational logic and its theorem prover
Journal of Automated Reasoning - Tập 4 - Trang 117-172 - 1988
Robert S. Boyer, J Strother Moore
A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions
Journal of Automated Reasoning - Tập 23 - Trang 347-371 - 1999
M. Jaume
Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof
Journal of Automated Reasoning - Tập 64 - Trang 555-578 - 2019
Gadi Tellez, James Brotherston
Locales: A Module System for Mathematical Theories
Journal of Automated Reasoning - Tập 52 - Trang 123-153 - 2013
Clemens Ballarin
Things to Know when Implementing KBO
Journal of Automated Reasoning - - 2006
Bernd Löchner
Combining Sets with Cardinals
Journal of Automated Reasoning - Tập 34 - Trang 1-29 - 2005
Calogero G. Zarba
New uses of linear arithmetic in automated theorem proving by induction
Journal of Automated Reasoning - Tập 16 - Trang 39-78 - 1996
Deepak Kapur, M. Subramaniam
Intractable unifiability problems and backtracking
Journal of Automated Reasoning - Tập 5 - Trang 37-47 - 1989
D. A. Wolfram
Introduction
Journal of Automated Reasoning - - 1991
Alfredo Ferro
Interweaving knowledge extracting, organizing and evaluating: A concrete design for preventing logic and structure bugs while interviewing experts
Journal of Automated Reasoning - Tập 6 - Trang 299-317 - 1990
Joseph S. Di Piazza
Tổng số: 936   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10