The completeness and soundness of temporal theories

Tools

Zhao, H., Ma, J and Petridis, M (2008) The completeness and soundness of temporal theories In: ECAI-08 Workshop on Spatial and Temporal Reasoning, 22 July, 2008, Patras, Greece.

Full text not available from this repository.

Item Type:	Contribution to conference proceedings in the public domain ( Full Paper)
Subjects:	G000 Computing and Mathematical Sciences > G400 Computing
Faculties:	Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Computational Intelligence
ID Code:	9697
Deposited By:	editor cmis
Deposited On:	17 Jan 2012 13:48
Last Modified:	11 Apr 2012 14:34

Repository Staff Only: item control page