Catalogue SUDOC

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

rechercher (et)

(Mots du titre)

Symbolic logic

| 347 résultat(s)

Services

Mon panier / Export

Affiner la recherche

Mot	Type	Compte
symbolic	Mots du titre	[3262]
logic	Mots du titre	[14215]

	1.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009 : Proceedings European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (10 ; 2009 ; Vérone, Italie) / 1st ed. 2009. / Springer Berlin Heidelberg / 2009
	2.	Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings Cabalar, Pedro / 1st ed. 2013. / Springer Berlin Heidelberg / 2013
	3.	Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings 1st ed. 2015. / Springer Berlin Heidelberg / 2015
	4.	Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings Giesl, Jürgen / 1st ed. 2010. / Springer Berlin Heidelberg / 2010
	5.	Logic Programming (vol. # 3668) : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings 1st ed. 2005. / Springer Berlin Heidelberg / 2005
	6.	Logic Programs, Norms and Action : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday Artikis, Alexander / 1st ed. 2012. / Springer Berlin Heidelberg / 2012
	7.	Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings 1st ed. 2010. / Springer Berlin Heidelberg / 2010
	8.	Computer Science Logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings 1st ed. 2007. / Springer Berlin Heidelberg / 2007
	9.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings Mellouli, Khaled / 1st ed. 2007. / Springer Berlin Heidelberg / 2007
	10.	Logic Programming and Nonmonotonic Reasoning : 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings Gottlob, Georg / 1st ed. 2022. / Springer International Publishing / 2022