First-Order Logic and Automated Theorem Proving
Year: 1996
Type: book
Source: Springer eBooks
Author: Melvin Fitting
Institution: Lehman College
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1554618854