DBLP:conf/ijcai/1993em + redirect page
Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings + Has identifier
| Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings |
Has publishing details
, 1995
Has title
Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai1993em.html
Has year
1995
Has identifier
Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings +
Categories Proceeding +
|
