Cargando…

Advances in Contemporary Logic and Computer Science

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Carnielli, Walter A.
Autor Corporativo:	Brazilian Conference on Mathematical Logic (Corporate Author.)
Otros Autores:	D’Ottaviano, Itala M.L
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Providence : American Mathematical Society, 1999.
Colección:	Contemporary Mathematics.
Temas:	Computer logic > Congresses. Logic, Symbolic and mathematical > Congresses. Engineering & Applied Sciences. Computer Science.
Acceso en línea:	Texto completo

Ejemplares similares

Logic and Combinatorics
por: Simpson, Stephen G.
Publicado: (1987)

Quantitative logic and soft computing : proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 2012 /
Publicado: (2012)

Methods and Applications of Mathematical Logic.
por: Carnielli, Walter A.
Publicado: (1988)

Fork Algebras in Algebra, Logic and Computer Science.
por: Frias, Marcelo Fabián
Publicado: (2002)

Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Publicado: (2012)

Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Publicado: (2012)

Advances in Technological Applications of Logical and Intelligent Systems : Selected Papers from the Sixth Congress on Logic Applied to Technology /
Publicado: (2009)

Advances in Technological Applications of Logical and Intelligent Systems : Selected Papers from the Sixth Congress on Logic Applied to Technology /
Publicado: (2009)

Algebra and computer science /
Publicado: (2016)

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas /
Publicado: (2007)

Linear Logic in Computer Science /
Publicado: (2004)

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings /
Publicado: (2009)

Advances in logic based intelligent systems : selected papers of LAPTEC 2005 /
Publicado: (2005)

Logic Colloquium 2007 /
Publicado: (2010)

Logic and algebraic structures in quantum computing /
Publicado: (2016)

Mathematical Logic in Asia : Proceedings of the 9th Asian Logic Conference.
por: Goncharov, S. S.
Publicado: (2006)

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 /
Publicado: (2007)

Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 /
Publicado: (2002)

Proof and disproof in formal logic : an introduction for programmers /
por: Bornat, Richard, 1944-
Publicado: (2005)

Alan Turing's systems of logic : the Princeton thesis /
por: Turing, Alan, 1912-1954
Publicado: (2012)

Temporal Logic of Reactive and Concurrent Systems : Specification.
por: Manna, Zohar
Publicado: (1992)

Proceedings of the 12Th Asian Logic Conference.
por: Downey, R. G. (Rod G.)
Publicado: (2013)

Proceedings of the 12Th Asian Logic Conference.
por: Downey, R. G. (Rod G.)
Publicado: (2013)

Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings /
Publicado: (2015)

Logic, Computation, Hierarchies.
Publicado: (2014)

Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings /
Publicado: (2009)

Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 /
Publicado: (2016)

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift /
Publicado: (2013)

Computability and logic.
por: Boolos, George
Publicado: (2002)

Handbook of logic in computer science.
Publicado: (2000)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 /
Publicado: (2010)

Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Publicado: (2006)

Mathematical Logic /
por: Ebbinghaus, H.-D
Publicado: (1994)

Logic and automata : history and perspectives /
Publicado: (2008)

Logic and automata : history and perspectives /
Publicado: (2008)

Logic and automata : history and perspectives /
Publicado: (2008)

Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction /
por: Pudlák, Pavel
Publicado: (2013)

Logic, Language, Information, and Computation
Publicado: (2012)

Advances in linear logic /
Publicado: (1995)

Logic Colloquium 2006 /
Publicado: (2009)

Cannot write session to /tmp/vufind_sessions/sess_551p5bj1bled9pjnr9rmeq68vb