Infinity in Logic and Computation  International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers /  [electronic resource] : 
 ILC 2007 
edited by Margaret Archibald ... [et al.]. 
 - Berlin, Heidelberg :  Springer-Verlag Berlin Heidelberg,  2009. 
 - xi, 137 p. :  ill., digital ;  24 cm. 
 - Lecture notes in computer science,  5489  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783642030925 (electronic bk.) 9783642030918 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Machine theory--Congresses.<br/>Logic programming--Congresses.<br/>Mathematical Logic and Formal Languages.<br/>Theory of Computation.<br/>Artificial Intelligence (incl. Robotics)<br/>Computer Science.<br/>Computing Methodologies.<br/>Mathematics of Computing.<br/>Algorithm Analysis and Problem Complexity.
<br/><br/><label>Dewey Class. No.: </label>006.31