Theorem Proving Using Clausal Resolution: From Past to Present
Attributed to:
Robotics and Artificial Intelligence for Nuclear (RAIN)
funded by
ISCF
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-89716-1_2
Publication URI: http://dx.doi.org/10.1007/978-3-030-89716-1_2
Type: Book Chapter
Book Title: Reachability Problems - 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings (2021)
Page Reference: 19-27