DaftarIsitemplate

Call Number

511.3 Fit f

Title

First-order logic and automated proving

Author

Fitting, Melvin;

Publisher

USA; Springer-Verlag; 1990

Subject

Automated theorem proving; logic, symbolic and mathematical

Location

FASILKOM-UI;