An experiment in approximating first order logic proof procedures.

DA De Waal, JP Gallagher

Research output: Working paper › Working paper and Preprints

Translated title of the contribution	An experiment in approximating first order logic proof procedures.
Original language	English
Publisher	University of Bristol
Number of pages	14
Publication status	Published - 1994

Other: Technical Report CSTR 94-01

Cite this

@techreport{e51666b3f3b44659ab8a929bff6f4883,

title = "An experiment in approximating first order logic proof procedures.",

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

note = "Other: Technical Report CSTR 94-01",

year = "1994",

language = "English",

publisher = "University of Bristol",

address = "United Kingdom",

type = "WorkingPaper",

institution = "University of Bristol",

}