Cover is for reference only

Logic, language, information and computation：17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 ; proceedings

Saved in:
Bibliographic Details
Corporate Authors: Workshop on Logic, Language, Information and Computation (17th 2010 Brasilia, Brazil); SpringerLink (Online service)
Group Author: Queiroz Ruy J. G. B. de.; Dawar Anuj.
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: 2010.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 6188.
Subjects:
Logic, Symbolic and mathematical.
Formal methods (Computer science)
Programmierlogik.
Natürliche Sprache.
Formale Syntax.
Formale Grammatik.
Berechnungstheorie.
Logik.
Computer logic.
Online Access: http://dx.doi.org/10.1007/978-3-642-13824-9
Carrier Form: 1 online resource (x, 258 p.): ill.
ISBN: 9783642138249 (electronic bk.)
3642138241 (electronic bk.)
Index Number: TP301
CLC: TP301.6-532
O141-532
Contents: International conference proceedings.
Includes bibliographical references and author index.

Related Book Recommendations