Machine-checking the timed interval calculus

Simple item page
dc.contributor.authorDawson, Jeremy
dc.contributor.authorGore, Rajeev
dc.coverage.spatialCanberra Australia
dc.date.accessioned2015-12-13T23:24:37Z
dc.date.available2015-12-13T23:24:37Z
dc.date.createdDecember 2 2002
dc.date.issued2002
dc.date.updated2015-12-12T09:21:09Z
dc.identifier.isbn3540001972
dc.identifier.urihttp://hdl.handle.net/1885/92298
dc.publisherSpringer
dc.relation.ispartofseriesAustralian Joint Conference on Artificial Intelligence (AI 2002)
dc.sourceAI-2002: Advances in Artificial Intelligence
dc.titleMachine-checking the timed interval calculus
dc.typeConference paper
local.bibliographicCitation.lastpage106
local.bibliographicCitation.startpage95
local.contributor.affiliationDawson, Jeremy, College of Engineering and Computer Science, ANU
local.contributor.affiliationGore, Rajeev, College of Engineering and Computer Science, ANU
local.contributor.authoremailu8413080@anu.edu.au
local.contributor.authoruidDawson, Jeremy, u8413080
local.contributor.authoruidGore, Rajeev, u9409448
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublicationMigratedxPub23348
local.identifier.uidSubmittedByMigrated
local.type.statusPublished Version

Downloads

Collections

ANU Research Publications

DSpace software copyright © 2002-2024 LYRASIS