Specialising a theorem prover

DA De Waal, JP Gallagher

Research output: Working paper

Translated title of the contribution	Specialising a theorem prover
Original language	English
Publisher	University of Bristol
Number of pages	18
Publication status	Published - 1992

Other: # CSTR-92-33

Handle.net

@techreport{24370225b66c406cb81c73a67e8515ae,

title = "Specialising a theorem prover",

author = "{De Waal}, DA and JP Gallagher",

note = "Other: # CSTR-92-33",

year = "1992",

language = "English",

publisher = "University of Bristol",

address = "United Kingdom",

type = "WorkingPaper",

institution = "University of Bristol",

}