Open Research

Deduction and applications

dc.contributor.author	Baader, Franz
dc.contributor.author	Baumgartner, Peter
dc.contributor.author	Nieuwenhuis, Robert
dc.contributor.author	Voronkov, Andrei
dc.coverage.spatial	Schloss Dagstuhl Germany
dc.date.accessioned	2015-12-07T22:17:22Z
dc.date.created	October 23-28 2005
dc.identifier.isbn	1862-4405
dc.identifier.uri	http://hdl.handle.net/1885/18513
dc.publisher	Internationales Begegnungs und Forschungszentrum fuer Informatik
dc.relation.ispartofseries	Dagstuhl Seminar 2005
dc.source	Dagstuhl Seminar Proceedings
dc.source.uri	http://drops.dagstuhl.de/opus/volltexte/2006/562
dc.title	Deduction and applications
dc.type	Conference paper
local.description.notes	Imported from ARIES
dc.date.issued	2006
local.identifier.absfor	080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublication	u8803936xPUB4
local.type.status	Published Version
local.contributor.affiliation	Baader, Franz, Technical University of Dresden
local.contributor.affiliation	Baumgartner, Peter, College of Engineering and Computer Science, ANU
local.contributor.affiliation	Nieuwenhuis, Robert, Polytechnic University of Catalonia
local.contributor.affiliation	Voronkov, Andrei, University of Manchester
local.description.embargo	2037-12-31
dc.date.updated	2015-12-07T08:06:07Z
Collections	ANU Research Publications

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.