Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings /

Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings /
Published: (2007)

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 : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, proceedings /
Published: (2011)

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

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

Stochastic algorithms: foundations and applications : 4th international symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007 : proceedings /
Published: (2007)

Algorithms and complexity : 7th international conference, CIAC 2010, Rome, Italy, May 26-28, 2010 : proceedings /
Published: (2010)

Algorithms and complexity : 6th Italian conference, CIAC 2006, Rome, Italy, May 29-31, 2006 : proceedings /
Published: (2006)

Algorithm theory -- SWAT 2006 : 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006 : proceedings /
Published: (2006)

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)

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)

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

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

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

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)

Stochastic algorithms: foundations and applications : third international symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 : proceedings /
Published: (2005)

Symbolic-numeric computation /
by: Wang, Dongming, 1961-
Published: (2007)

Algorithmic game theory : third international symposium, SAGT 2010, Athens, Greece, October 18-20, 2010 : proceedings /
Published: (2010)

Algorithmic Game Theory : First International Symposium, Sagt 2008, Paderborn, Germany, April 30 - May 2, 2008, Proceedings /
Published: (2008)

Algorithmic number theory : 8th international symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008 : proceedings /
Published: (2008)

Algorithmic foundation of robotics VIII /
Published: (2009)

Algorithmic foundation of robotics VII : selected contributions of the seventh International Workshop on the Algorithmic Foundations of Robotics /
Published: (2008)

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

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

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

Grammatical inference: algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 ; proceedings /
Published: (2008)

Algorithms in algebraic geometry /
Published: (2008)

Algorithmic Game Theory : Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009. Proceedings /
Published: (2009)

Algorithms for approximation : proceedings of the 5th international conference, Chester, July 2005 ; with 21 tables /
Published: (2007)

Property testing : current research and surveys /
Published: (2010)

Combinatorial algorithms : 21st international workshop, IWOCA 2010, London, UK, July 26-28, 2010 : revised selected papers /
Published: (2011)

Proofs and algorithms : an introduction to logic and computability /
by: Dowek, Gilles
Published: (2011)

Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings /
Published: (2008)

Algorithmic foundations of robotics. selected contributions of the ninth International Workshop on the Algorithmic Foundations of Robotics /
Published: (2011)