First-order logic and automated theorem proving

RecordNumber
17134
Author
Fitting, Melvin
Title
First-order logic and automated theorem proving
Author Statement
Melvin Fitting
Publication
Springer
Publication Year
c1990
Collation
xiii, 242p
Subject
Automated theorem proving , Logic, Symbolic and mathematical
Main Class
511
Sub Class
.3
Cutter no
F547f
وارد كنندة اطلاعات
^d//
Link To Document :
https://lib.ui.ac.ir/dL/search/default.aspx?Term=17134&Field=0&DTC=2

Fitting, Melvin