1
出版 2006
書本目錄: ... -- Cooperating Answer Set Programming -- Predicate Introduction Under Stable and Well-Founded Semantics...
獲取全文
電子 電子書
2
Eckel, Bruce.
出版 2006
書本目錄: ... -- Arrays -- Containers in depth -- I/O -- Enumerated types -- Annotations -- Concurrency -- Graphical user...
Table of contents
圖書
3
出版 2007
書本目錄: ... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...
獲取全文
電子 電子書