[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1998 Volume 1450 || Reasoning about the past
Brim, Luboš; Gruska, Jozef; Zlatuška, Jiří
- 作者Brim, Luboš; Gruska, Jozef; Zlatuška, Jiří
- 文件大小722.87KB
- 发表时间1998
- DOI10.1007/BFb0055761
- 页码117-128