An experiment in approximating first order logic proof procedures.

DA De Waal, JP Gallagher

Research output: Working paper

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

Handle.net

@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",

}