Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN：0262035538
LECTURE NOTES IN MATHEMATICS 1257: ON THE C*-ALGEBRAS OF FOLIATIONS IN THE PLANE
1987 年出版172 页ISBN：3540179038;0387179038
Blowing Agents and Foaming Processes 2006 The 8th International Conference
2006 年出版224 页ISBN：1859575757
Lecture Notes in Artificial Intelligence 4049 Argumentation in Multi-Agent Systems Second Internatio
ArgMAS 20052006 年出版313 页ISBN：3540363556
Lecture Notes in Artificial Intelligence 4845 Web Intelligence Meets Brain Informatics First WICI In
WImBI 20062007 年出版516 页ISBN：9783540770275
Lecture Notes in Artificial Intelligence 4766 Argumentation in Multi-Agent Systems Thied Internation
ArgMAS 20062007 年出版211 页ISBN：9783540755258
integer programming and combinatorial optimization 12th international ipco conference
matteo fischetti david p.williamson(eds)2007 年出版500 页ISBN：
integer programming and combinatorial optimization 10th international ipco conference
matteo fischetti david p.williamson(eds)2004 年出版445 页ISBN：
Geometric Modeling and Processing-GMP 2006 4th International Conference
2006 年出版696 页ISBN：354036711X
