Limit search to available items
Book Cover
E-book
Author ICLA (Conference : Logic) (3rd : 2009 : Chennai, India)

Title Logic and its applications : third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009 : proceedings / R. Ramanujam, Sundar Sarukkai (eds.)
Published Berlin : Springer, ©2009

Copies

Description 1 online resource (x, 268 pages)
Series Lecture notes in computer science ; 5378. Lecture notes in artificial intelligence. FoLLI Publications on Logic, Language and Information
LNCS sublibrary, SL 7 -- Artificial intelligence
Lecture notes in computer science ; 5378.
Lecture notes in computer science. Lecture notes in artificial intelligence
Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
LNCS sublibrary. SL 7, Artificial intelligence.
Contents Machine derived contents note: Die gewünschte Datei konnte auf dem Server nicht gefunden werden. -- Bitte wenden Sie sich an die Bibliotheksverwaltung und -- informieren sie über dieses Problem
Summary Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 5th volume of the FoLLI LNAI subline. It contains the refereed proceedings of the Third Indian Conference on Logic and Its Applications, ICLA 2009, held in Chennai, India, in January 2009. The 12 revised full papers presented together with 7 invited lectures were carefully reviewed and selected from numerous submissions. The papers present current research in all aspects of formal logic. They address in detail: algebraic logic and set theory, combinatorics and philosophical logic, modal logics with applications to computer science and game theory, and connections between ancient logic systems and modern systems
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Logic, Symbolic and mathematical -- Congresses
Information theory -- Congresses
Logic, Symbolic and mathematical.
Information theory.
Information theory
Logic, Symbolic and mathematical
Mathematische Logik
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Madras (2009)
Kongress.
Form Electronic book
Author Ramanujam, R
Sarukkai, Sundar.
ISBN 9783540927006
354092700X
9783540927013
3540927018
Other Titles ICLA 2009