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...
获取全文
电子 电子书