Logic, language, information and computation
Subtitle: 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings
By: Daniel Leivant, Ruy de Queiroz (eds.).
Contributors: Leivant, Daniel Maurice Raphaël.; Queiroz, Ruy J. G. B. de.
Series: Lecture notes in computer science -- 4576.
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 361
ISBN-13: 9783540734437
Subjects: Logic, Symbolic and mathematical -- Congresses
Genres: Congresses.
Other titles: WoLLIC 2007.
Notes: Includes bibliographical references and author index.