Deduction and applications

Simple item page
dc.contributor.authorBaader, Franz
dc.contributor.authorBaumgartner, Peter
dc.contributor.authorNieuwenhuis, Robert
dc.contributor.authorVoronkov, Andrei
dc.coverage.spatialSchloss Dagstuhl Germany
dc.date.accessioned2015-12-07T22:17:22Z
dc.date.createdOctober 23-28 2005
dc.date.issued2006
dc.date.updated2015-12-07T08:06:07Z
dc.identifier.isbn1862-4405
dc.identifier.urihttp://hdl.handle.net/1885/18513
dc.publisherInternationales Begegnungs und Forschungszentrum fuer Informatik
dc.relation.ispartofseriesDagstuhl Seminar 2005
dc.sourceDagstuhl Seminar Proceedings
dc.source.urihttp://drops.dagstuhl.de/opus/volltexte/2006/562
dc.titleDeduction and applications
dc.typeConference paper
local.contributor.affiliationBaader, Franz, Technical University of Dresden
local.contributor.affiliationBaumgartner, Peter, College of Engineering and Computer Science, ANU
local.contributor.affiliationNieuwenhuis, Robert, Polytechnic University of Catalonia
local.contributor.affiliationVoronkov, Andrei, University of Manchester
local.contributor.authoruidBaumgartner, Peter, u1815000
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.identifier.absfor080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublicationu8803936xPUB4
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
01_Baader_Deduction_and_appl_2006.pdf
Size:
221.31 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS