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
Lecture Notes in Artificial Intelligence 3698 KI 2005:Advances in Artificial Intelligence 28th Annua
KI 20052005 年出版409 页ISBN:3540287612