Translating higher-order problems to first-order clauses

Simple item page
dc.contributor.authorMeng, Jia
dc.contributor.authorPaulson, Lawrence C.
dc.coverage.spatialSeattle USA
dc.date.accessioned2015-12-07T22:25:36Z
dc.date.createdAugust 22, 2006
dc.date.issued2006
dc.date.updated2015-12-07T09:38:48Z
dc.identifier.isbn1613-0073
dc.identifier.urihttp://hdl.handle.net/1885/21376
dc.publisherConference Organising Committee
dc.relation.ispartofseriesEmpirically Successful Computerized Reasoning (ESCoR 2006)
dc.sourceProceedings of the FLoC-06 Workshop on Empirically Successful Computerized Reasoning
dc.source.urihttp://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-192
dc.titleTranslating higher-order problems to first-order clauses
dc.typeConference paper
local.bibliographicCitation.lastpage80
local.bibliographicCitation.startpage70
local.contributor.affiliationMeng, Jia, College of Engineering and Computer Science, ANU
local.contributor.affiliationPaulson, Lawrence C., University of Cambridge
local.contributor.authoremailrepository.admin@anu.edu.au
local.contributor.authoruidMeng, Jia, a210311
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublicationu8803936xPUB16
local.identifier.uidSubmittedByu8803936
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 2 of 2
No Thumbnail Available
Name:
01_Meng_Translating_higher-order_2006.pdf
Size:
291.96 KB
Format:
Adobe Portable Document Format
Download
No Thumbnail Available
Name:
02_Meng_Translating_higher-order_2006.pdf
Size:
65.89 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2024 LYRASIS