Lecture Notes in Control and Information Sciences 280 Stochastic Theory and Control Proceedings of a
Kansas2002 年出版564 页ISBN:3540437770
Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN:9783540714095
VOLUME 2 INFORMATION AND KNOWLEDGE SYSTEM
PIERRE-EMMANUEL ARDUIN2015 年出版89 页ISBN:9781848217522