Lecture Notes in Physics 264:Tenth International Conference on Nomerical Methods in Fluid Dynamics
1986 年出版724 页ISBN:354017172X
Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN:0262035538
Lecture Notes in Artificial Intelligence 4049 Argumentation in Multi-Agent Systems Second Internatio
ArgMAS 20052006 年出版313 页ISBN:3540363556