Logic, language, information, and computation  14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings /  [electronic resource] : 
 WoLLIC 2007 
Daniel Leivant, Ruy de Queiroz (eds.). 
 - Berlin, Heidelberg :  Springer-Verlag Berlin Heidelberg,  2007. 
 - x, 361 p. :  ill., digital ;  24 cm. 
 - Lecture notes in computer science,  4576  0302-9743 ; .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9783540734451 (electronic bk.) 9783540734437 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical--Congresses.
<br/><br/><label>Dewey Class. No.: </label>005.131