Lecture Notes in Computer Science 3018 Logic Based Program Synthesis and Transformation 13th Interna
LOPSTR 20032004 年出版233 页ISBN:3540221743
Lecture Notes in Computer Science 4814 Human Motion-Understanding
Modeling2007 年出版0 页ISBN:
Relevant logic a philosophical interpretation
Edwin D. Mares2004 年出版230 页ISBN:0521829232