Show simple item record

dc.contributor.authorBundy, Alan
dc.date.accessioned2010-04-22T16:24:14Z
dc.date.available2010-04-22T16:24:14Z
dc.date.issued1999-04
dc.identifier.urihttp://hdl.handle.net/1842/3392
dc.description.abstractWe survey research in the automation of deductive inference, from its beginnings in the early history of computing to the present day. We identify and describe the major areas of research interest and their applications. The area is characterised by its wide variety of proof methods, forms of automated deduction and applications.en
dc.language.isoenen
dc.relation.ispartofseriesInformatics Report Seriesen
dc.relation.ispartofseriesEDI-INF-RR-0001en
dc.subjectInformaticsen
dc.subjectComputer Scienceen
dc.titleA Survey of Automated Deductionen
dc.typeTechnical Reporten


Files in this item

This item appears in the following Collection(s)

Show simple item record