dc.contributor.author	Baumgartner, Peter
dc.coverage.spatial	Bremen Germany
dc.date.accessioned	2015-12-10T22:14:23Z
dc.date.created	July 17-20 2007
dc.date.issued	2007
dc.date.updated	2015-12-09T08:06:46Z
dc.identifier.isbn	9783540735946
dc.identifier.uri	http://hdl.handle.net/1885/50272
dc.publisher	Springer
dc.relation.ispartofseries	International Conference on Automated Deduction (CADE 2007)
dc.source	Automated Deduction - CADE 21: 21st International Conference on Automated Deduction Proceedings
dc.title	Logical engineering with instance-based methods
dc.type	Conference paper
local.bibliographicCitation.lastpage	409
local.bibliographicCitation.startpage	404
local.contributor.affiliation	Baumgartner, Peter, College of Engineering and Computer Science, ANU
local.contributor.authoremail	u1815000@anu.edu.au
local.contributor.authoruid	Baumgartner, Peter, u1815000
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	u8803936xPUB200
local.identifier.scopusID	2-s2.0-35148872714
local.identifier.uidSubmittedBy	u8803936
local.type.status	Published Version

Logical engineering with instance-based methods

Downloads