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

Podobne knjige/članki: Logical Foundations of Computer Science :

Quick Look
Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. 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 2009 : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, Proceedings /
Quick Look
Logic for computer science : foundations of automatic theorem proving /
Quick Look
Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings /
Quick Look
Logic for Computer Science /
Quick Look
Foundations of Computer Science : C Edition /
Quick Look
Foundations of Computer Science : Potential-Theory-Cognition /
Quick Look
Foundations of Software Science and Computational Structures : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings /
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
Logic, Language, and Computation : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers /
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
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings /
Quick Look
Logic Programming and Nonmonotonic Reasoning : Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings /
Quick Look
Logical Foundations of Artificial Intelligence /
Quick Look
Foundations of Inductive Logic Programming /
Quick Look
Judgement and the Epistemic Foundation of Logic /
Quick Look
Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013 : 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 /

Avtor: Sergei Artemov, Anil Nerode

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