Wei-Fen Ma (ma-wf)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Orgun, M. A. and Ma, Wei-Fen. 1994. “An Overview of Temporal and Modal Logic Programming.” in Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M. Gabbay and Hans Jürgen Ohlbach, pp. 445–479. Lecture Notes in Computer Science n. 827. Berlin: Springer.