Catalogue SUDOC

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

rechercher (et)

(Mots du titre)

Nonmonotonic logics

| 38 résultat(s)

Services

Mon panier / Export

Affiner la recherche

Mot	Type	Compte
nonmonotonic	Mots du titre	[213]
logics	Mots du titre	[1707]

	1.	New Directions in Paraconsistent Logic : 5th WCP, Kolkata, India, February 2014 Beziau, Jean-Yves / 1st ed. 2015. / Springer India / 2015
	2.	Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings Olivetti, Nicola (19..-....) / 1st ed. 2007. / Springer Berlin Heidelberg / 2007
	3.	Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Lutz, Carsten (1971-....) / 1st ed. 2019. / Springer International Publishing / 2019
	4.	Logics in Artificial Intelligence : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings Niemelä, Ilkka / 1st ed. 2010. / Springer Berlin Heidelberg / 2010
	5.	Logics in Artificial Intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings van der Hoek, Wiebe / 1st ed. 2006. / Springer Berlin Heidelberg / 2006
	6.	Logics in Artificial Intelligence : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings Fariñas del Cerro, Luis (19..-....) / 1st ed. 2012. / Springer Berlin Heidelberg / 2012
	7.	Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings 1st ed. 2018. / Springer International Publishing / 2018
	8.	Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings 1st ed. 2016. / Springer International Publishing / 2016
	9.	Formal Methods for Nonmonotonic and Related Logics : Vol II: Theory Revision, Inheritance, and Various Abstract Properties Schlechta, Karl / 1st ed. 2018. / Springer International Publishing / 2018
	10.	Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings International Workshop on Nonmonotonic and Inductive Inference (1st ; 1990 ; University of Karlsruhe) / Springer-Verlag / cop. 1991