The Watson theorem prover

Journal article

Peer reviewed

Jim Alves-Foss and M Randall Holmes

Journal of Automated Reasoning, Vol.26(4), pp.357-408

2001

Files and links (1)

url

https://doi.org/10.1023/A:1010652212067View

1 Record Views

Title: The Watson theorem prover
Creators: Jim Alves-Foss - University of Idaho
M Randall Holmes - Boise State University
Publication Details: Journal of Automated Reasoning, Vol.26(4), pp.357-408
Identifiers: 996631464001851
Academic Unit: Center for Secure and Dependable Systems; Computer Science
Language: English
Resource Type: Journal article