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

Guardado en:

Bibliografiske detaljer
Hovedforfatter:	Sergei Artemov, Anil Nerode (edición)
Format:	Bog
Sprog:	engelsk
Udgivet:	Berlín, Alemania : Springer, 2009, c2009
Serier:	(Lecture Notes in Computer Science)
Online adgang:	Ver documento en línea
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker: 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 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 Computer Science : Potential-Theory-Cognition /
Quick Look
Mathematical Logic for Computer Science /
Quick Look
Foundations of Logic Programming /
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
Mathematical Foundations of Computer Science 1999 : 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 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
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 /
Quick Look
Mathematical Foundations of Computer Science 2003 : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings /
Quick Look
Mathematical Foundations of Computer Science 2008 : 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /
Quick Look
Mathematical Foundations of Computer Science 2011 : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, Proceedings /
Quick Look
Mathematical Foundations of Computer Science 2012 : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings /
Quick Look
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings /