Data Portal @ linkeddatafragments.org
Library of Congress
Search Library of Congress by triple pattern
subject
predicate
object
Matches in Library of Congress for
{ ?s ?p First-order logic and automated theorem proving / Melvin Fitting.. }
Showing items 1 to 2 of
2
with
100
items per page.
89026321
title
"
First-order logic and automated theorem proving / Melvin Fitting.
"
.
95045225
title
"
First-order logic and automated theorem proving / Melvin Fitting.
"
.
