Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image available
First-order logic and automated theorem proving

by Fitting, Melvin | .

Series: Edition: Language: English Publication details: ; New York, Springer-Verlag, ; 1990Availability: Items available for loan: 1 Call number: 681.3:517.1 Fit.

Place hold Add to cart
Logic for computer science : foundations of automatic theorem proving

by Gallier, Jean H | .

Series: Edition: Language: English Publication details: New York ; Harper and Row ; 1986Availability: Items available for loan: 1 Call number: 517.1:681.3Gal.

Place hold Add to cart
Pages

Powered by Koha