Catalogue SUDOC

Copyright © 2021 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?

rechercher (et)

(Mots du titre)

Mathematical logic in computer science

| 19 résultat(s)

Services

Mon panier / Export

Affiner la recherche

Mot	Type	Compte
science	Mots du titre	[76402]
computer	Mots du titre	[20821]
logic	Mots du titre	[12897]
in	Mots du titre	[2490980]
mathematical	Mots du titre	[16293]

	1.	Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009 : Proceedings Carette, Jacques / 1st ed. 2009. / 2009
	2.	Mathematical Foundations of Computer Science 2005 : 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings Springer Berlin Heidelberg : Springer e-books / 2005
	3.	Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II Csuhaj-Varjú, Erzsébet (1954-....) / 1st ed. 2014. / 2014
	4.	Mathematical Foundations of Computer Science 2007 : 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007 Proceedings 1st ed. 2007. / 2007
	5.	Discovery Science (vol. # 4265) : 9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006, Proceedings 2006
	6.	Mathematical Foundations of Computer Science 2009 : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings Springer Berlin Heidelberg : Springer e-books : Imprint: Springer : Springer e-books / 2009
	7.	Mathematical Foundations of Computer Science 2006 : 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings Springer Berlin Heidelberg : Springer e-books / 2006
	8.	Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings Artemov, Sergei / Springer Berlin Heidelberg : Springer e-books : Imprint: Springer : Springer e-books / 2013
	9.	Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings 2018
	10.	Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings 1st ed. 2016. / 2016