An experiment in approximating first order logic proof procedures.

DA De Waal, JP Gallagher

Research output: Working paperWorking paper and Preprints

Translated title of the contributionAn experiment in approximating first order logic proof procedures.
Original languageEnglish
PublisherUniversity of Bristol
Number of pages14
Publication statusPublished - 1994

Bibliographical note

Other: Technical Report CSTR 94-01

Cite this