Skip to main content
Log in
Menu
Find a journal
Publish with us
Track your research
Search
Cart
Home
Journal of Automated Reasoning
Volumes and issues
Volume 1, Issue 4
Journal of Automated Reasoning
Publishing model
:
Hybrid
Submit your manuscript
(this opens in a new tab)
Back to Overview
Editorial board
Aims and scope
Journal updates
Search all Journal of Automated Reasoning articles
Volume 1, Issue 4
December 1985
6 articles in this issue
Automated deduction by theory resolution
Mark E. Stickel
OriginalPaper
Pages: 333 - 355
Robot selection expert ‘Rose’
John G. Mauceri
OriginalPaper
Pages: 357 - 390
Circumscription and implicit definability
Jon Doyle
OriginalPaper
Pages: 391 - 405
Towards mechanical metamathematics
N. Shankar
OriginalPaper
Pages: 407 - 434
Predicate logic hacker tricks
Hans Jūrgen Ohlbach
Problem Corner
Pages: 435 - 440
Announcement
Announcement
Pages: 441 - 441
Search
Search by keyword or author
Search
Navigation
Find a journal
Publish with us
Track your research