LNCS 2803 - Computer Science Logic (Frontmatter Pages)

Main
Computers - Computer Science
LNCS 2803 - Computer Science Logic...

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

Matthias Baaz & Johann A. Makowsky

0 / 0

Quanto Você gostou deste livro?

Qual é a qualidade do ficheiro descarregado?

Descarregue o livro para avaliar a sua qualidade

De que qualidade são os ficheiros descarregados?

Computer Science Logic

Categorias:

Computers - Computer Science

Ano:

2008

Idioma:

spanish

ISBN 10:

3540408010

ISBN 13:

9783540408017

Arquivo:

PDF, 5.62 MB

IPFS:

,

spanish, 2008

Descargar (pdf, 5.62 MB)

A converter para

Conversão para falhou

Você pode estar interessado em

Boris A. Trakhtenbrot (auth.), Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.) — Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Sergei Artemov, Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Franz Baader, Andrei Voronkov — Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Maarten Marx (auth.), Luke Ong (eds.) — Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Sundar Sarukkai, Sandeep Sen (eds.) — FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

Allen Van Gelder (auth.), Geoff Sutcliffe, Andrei Voronkov (eds.) — Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso (auth.), Matthias Baaz, Johann A. Makowsky (eds.) — Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Peter O’Hearn, John Reynolds, Hongseok Yang (auth.), Laurent Fribourg (eds.) — Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

Susumu Hayashi, Yohji Akama (auth.), Julian Bradfield (eds.) — Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

Paul-André Melliès (auth.), Zoltán Ésik (eds.) — Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

Olivier Danvy, Jacob Johannsen (auth.), Wilfrid Hodges, Ruy de Queiroz (eds.) — Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

Jacques Duparc, Thomas A. Henzinger — Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.) — Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Boris A. Trakhtenbrot (auth.), Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.) — Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Ying Daniel, Linköpings universitet. Matematiska institutionen — On the moduli space of cyclic trigonal Riemann surfaces of genus 4

Mikołaj Bojańczyk (auth.), Erich Grädel, Reinhard Kahle (eds.) — Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

Colin Stirling (auth.), Luke Ong (eds.) — Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.) — Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.) — Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Hajnal Andréka, Szabolcs Mikulás, István Németi (auth.), Robert L. Constable, Alexandra Silva (eds.) — Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Luca Aceto, Dario Della Monica (auth.), Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.) — Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz (eds.) — Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Javier Esparza, Andrzej S. Murawski — Foundations of Software Science and Computation Structures, 20 conf., FOSSACS 2017

Frases chave