Skip navigation
Skip navigation

Hyper tableaux with equality

dc.contributor.authorBaumgartner, Peter
dc.contributor.authorFurbach, Ulrich
dc.contributor.authorPelzer, Bjorn
dc.coverage.spatialBremen Germany
dc.date.accessioned2015-12-10T22:14:16Z
dc.date.createdJuly 17-20 2007
dc.identifier.isbn9783540735946
dc.identifier.urihttp://hdl.handle.net/1885/50215
dc.publisherSpringer
dc.relation.ispartofseriesInternational Conference on Automated Deduction (CADE 2007)
dc.sourceAutomated Deduction - CADE 21: 21st International Conference on Automated Deduction Proceedings
dc.titleHyper tableaux with equality
dc.typeConference paper
local.description.notesImported from ARIES
local.description.refereedYes
dc.date.issued2007
local.identifier.absfor080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublicationu8803936xPUB199
local.type.statusPublished Version
local.contributor.affiliationBaumgartner, Peter, College of Engineering and Computer Science, ANU
local.contributor.affiliationFurbach, Ulrich, Universitat Koblenz-Landau
local.contributor.affiliationPelzer, Bjorn, Universitat Koblenz-Landau
local.description.embargo2037-12-31
local.bibliographicCitation.startpage492
local.bibliographicCitation.lastpage507
dc.date.updated2015-12-09T08:05:49Z
CollectionsANU Research Publications

Download

File Description SizeFormat Image
01_Baumgartner_Hyper_tableaux_with_eq_2007.pdf416.99 kBAdobe PDFThumbnail


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

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator