Specialising a theorem prover

DA De Waal, JP Gallagher

Research output: Working paperWorking paper and Preprints

Translated title of the contributionSpecialising a theorem prover
Original languageEnglish
PublisherUniversity of Bristol
Number of pages18
Publication statusPublished - 1992

Bibliographical note

Other: # CSTR-92-33

Cite this