Lecture Notes in Computer Science 3049 Program Development in Computational Logic A Decade of Resear
2004 年出版539 页ISBN:3540221522
COMPUTATIONAL TECHNIQUES IN TRANSIENT AND TURBULENT FLOW VOL.2 IN SERIES RECENT ADVANCES IN NUMERICA
1981 年出版332 页ISBN:0906674174
Lecture Notes in Artificial Intelligence 4264 Algorithmic Learning Theory 17th International Confere
ALT 20062006 年出版393 页ISBN:3540466495