1
Published 2006
Table of Contents: ... -- Cooperating Answer Set Programming -- Predicate Introduction Under Stable and Well-Founded Semantics...
View full text
Electronic eBook
2
by Eckel, Bruce.
Published 2006
Table of Contents: ... -- Arrays -- Containers in depth -- I/O -- Enumerated types -- Annotations -- Concurrency -- Graphical user...
Table of contents
Book
3
Published 2007
Table of Contents: ... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...
View full text
Electronic eBook