DaftarIsitemplate
 
Call Number
005.133 Gab l
Title
Semantics of framed temporal logic programs, LNCS-Lecture Notes in Computer Science 3668) Hal 356-370
Author
Zhenhua Duan; Xiaoxiao Yang; Maciej Koutny;
Publisher
Springer, 2005
Subject
Location