Channels - Logical Foundations of Computer Science : :: Biblioteca ITESO

Ejemplares similares: Logical Foundations of Computer Science :

Quick Look
Logical Foundations of Computer Science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings /
Quick Look
Logical Foundations of Computer Science : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings /
Quick Look
Logical Foundations of Computer Science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings /
Quick Look
Logic for applications /
Quick Look
Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013 : Proceedings /
Quick Look
Logic for computer science : foundations of automatic theorem proving /
Quick Look
Logic for Computer Science /
Quick Look
Foundations of Computer Science : C Edition /
Quick Look
Foundations of Software Science and Computation Structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings /
Quick Look
Foundations of Computer Science : Potential-Theory-Cognition /
Quick Look
Foundations of Logic Programming /
Quick Look
Mathematical Logic for Computer Science /
Quick Look
Mathematical Foundations of Computer Science 1999 : 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings /
Quick Look
Computer Science - Theory and Applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings /
Quick Look
Deontic Logic in Computer Science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings /
Quick Look
Computer Science Logic : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings /
Quick Look
Judgement and the Epistemic Foundation of Logic /
Quick Look
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings /
Quick Look
Logical Foundations of Artificial Intelligence /
Quick Look
Foundations of Inductive Logic Programming /
Quick Look
Logic Programming and Nonmonotonic Reasoning : Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings /
Quick Look
Mathematical Foundations of Computer Science 1997 : 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings /
Quick Look
Mathematical Foundations of Computer Science 2002 : 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002. Proceedings /
Quick Look
Mathematical Foundations of Computer Science 2003 : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings /

Autor: Sergei Artemov, Anil Nerode

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0