Cover Image

Logical foundations of computer science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009 : Proceedings /

Bibliographic Details
Corporate Authors:	LFCS (Symposium) New York, N.Y.), SpringerLink (Online service)
Other Authors:	Artemov, S. N., Nerode, Anil, 1932-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2009]
Series:	Lecture notes in computer science ; 5407.
Subjects:	Computer science > Congresses. Logic, Symbolic and mathematical > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings /
Published: (2007)

Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings /
Published: (2009)

Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings /
Published: (2009)

Frontiers of combining systems : 6th international symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007 : proceedings /
Published: (2007)

Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, proceedings /
Published: (2011)

Logic and its applications : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings /
Published: (2011)

Aspects of mathematical logic : lectures given at the Centro internazionale matematico estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968 /
Published: (2010)

Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings /
Published: (2008)

Logic, language, information, and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings /
Published: (2007)

Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá /
Published: (1999)

Logic and its applications : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings /
Published: (2009)

Logic and the foundations of game and decision theory - LOFT 8 : 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008 : revised selected papers /
Published: (2010)

Fundamentals of computation theory : 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009 : proceedings /
Published: (2009)

Computer and information science 2009 /
Published: (2009)

Logics in artificial intelligence : 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 : proceedings /
Published: (2010)

Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 : proceedings /
Published: (2008)

SOFSEM 2009 : theory and practice of computer science : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009 : proceedings /
Published: (2009)

Complex sciences : First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009 : revised papers, part 2 /
Published: (2009)

Complex sciences : First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009 : revised papers, part 1 /
Published: (2009)

Proceedings of the 2018 International Conference on Foundations of Computer Science : FCS '18 /
Published: (2018)

Applied computing, computer science, and advanced communication : First International Conference on Future Computer and Communication, FCC 2009, Wuhan, China, June 6 - 7, 2009 : proceedings /
Published: (2009)

Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008 : proceedings /
Published: (2008)

Computational science - ICCS 2009 : 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.
Published: (2009)

Computational science - ICCS 2009 : 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.
Published: (2009)

Giuseppe Peano between mathematics and logic : proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2-3, 2008 /
Published: (2011)

Logics in artificial intelligence : 10th European conference, JELIA 2006, Liverpool, UK, September 13-15, 2006 : proceedings /
Published: (2006)

Contemporary computing : second international conference ; proceedings, IC3 2009, Noida, India, August 17 - 19, 2009 /
Published: (2009)

Towards mathematical philosophy : papers from the Studia Logica Conference Trends in Logic IV /
Published: (2008)

Frontiers of computational science : proceedings of the International Symposium on Frontiers of Computational Science 2005 /
Published: (2007)

Computational science and its appilcations, ICCSA 2009, international conference, Seoul, Korea, June 29-July 2, 2009 : proceedings.
Published: (2009)

Computational science and its appilcations, ICCSA 2009, international conference, Seoul, Korea, June 29-July 2, 2009 : proceedings.
Published: (2009)

Computer and information sciences : proceedings of the 25th International Symposium on Computer and Information Sciences /
Published: (2010)

Future generation information technology : first international conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 ; proceedings /
Published: (2009)

Fundamentals of computation theory : 16th international symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007 : proceedings /
Published: (2007)

LATIN 2010: theoretical informatics : 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010 ; proceedings /
Published: (2010)

Fundamentals of computation theory : 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings /
Published: (2011)

STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings /
Published: (2007)

Advanced computing : first International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011, proceedings.
Published: (2011)

Computer science-- Theory and applications : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011, proceedings /
Published: (2011)

Next Generation Information Technologies and Systems : 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papers /
Published: (2009)