Geometric resolution: A proof procedure based on finite model search

dc.contributor.author	de Nivelle, Hans
dc.contributor.author	Meng, Jia
dc.coverage.spatial	Seattle USA
dc.date.accessioned	2015-12-07T22:23:56Z
dc.date.created	August 17-20 2006
dc.date.issued	2006
dc.date.updated	2015-12-07T09:24:58Z
dc.identifier.isbn	9783540371878
dc.identifier.uri	http://hdl.handle.net/1885/20938
dc.publisher	Conference Organising Committee
dc.relation.ispartofseries	International Joint Conference on Automated Reasoning (IJCAR 2006)
dc.source	Proceedings of DISPROVING-06: Non-Theorems, Non-Validity, Non-Provability
dc.source.uri	http://www.easychair.org/FLoC-06/DISPROVING.html
dc.title	Geometric resolution: A proof procedure based on finite model search
dc.type	Conference paper
local.bibliographicCitation.lastpage	317
local.bibliographicCitation.startpage	303
local.contributor.affiliation	de Nivelle, Hans, Max Planck Institute for Informatics
local.contributor.affiliation	Meng, Jia, College of Engineering and Computer Science, ANU
local.contributor.authoruid	Meng, Jia, a210311
local.description.embargo	2037-12-31
local.description.notes	Imported from ARIES
local.description.refereed	Yes
local.identifier.absfor	080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublication	u8803936xPUB14
local.type.status	Published Version

Downloads

Now showing 1 - 4 of 4