Three-Valued Temporal LogicQtand Future Contingents
Seiki Akama, Yasunori Nagata, Chikatoshi YamadaVolume:
88
Language:
english
Pages:
17
DOI:
10.1007/s11225-008-9102-0
Date:
March, 2008
File:
PDF, 245 KB
english, 2008