Logic, Language and Reasoning : :: SCD d'Orléans

Logic, Language and Reasoning : Essays in Honour of Dov Gabbay

Logic, Language and Reasoning : Essays in Honour of Dov Gabbay

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Reyle, Uwe, 1955- (Συνεργάτης), Ohlbach, Hans Jürgen (Συνεργάτης)
Μορφή:	Livre numérique
Γλώσσα:	Anglais
Έκδοση:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Διαθέσιμο Online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Σημείωση:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic, Language and Reasoning, Essays in Honour of Dov Gabbay

Παρόμοια τεκμήρια

Reasoning with logic programming
ανά: Alferes, José Júlio, 1966-, κ.ά.

Machine Learning, Meta-Reasoning and Logics

Fuzzy Sets, Logics and Reasoning about Knowledge

Paraconsistent and fuzzy modal logics for reasoning about uncertainty
ανά: KOZHEMIACHENKO, Daniil, 1995-
Έκδοση: (2023)

Reasoning with belief functions over Belnap-Dunn logic
ανά: Nazari, Sajad, 1983-
Έκδοση: (2022)

Presentation of logic and reasoning in Ayurveda. Building epistemologies of the South
ανά: Namboothiri, Brahmadathan, κ.ά.
Έκδοση: (2024)

Logics and languages
ανά: Cresswell, Maxwell John, 1939-
Έκδοση: (1973)

Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings

Logic programming and automated reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16 22, 1994 : proceedings
ανά: Pfenning, Frank

Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26 28, 1995 : proceedings
ανά: Marek, Victor W., 1943-

Logic programming and automated reasoning : 6th International Conference, LPAR 99 Tbilisi, Georgia, September 6 10, 1999 : proceedings

Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ανά: Cabalar, Pedro

Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
ανά: Parigot, Michel, 1956-...., mathématicien

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28 31, 1997 : proceedings
ανά: Dix, Jürgen, 1961-

Logic programming and automated reasoning : [3rd] International Conference LPAR '92, St. Petersburg, Russia, July 15 20, 1992 : proceedings
ανά: Voronkov, Andrei, 1959-

Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13 20, 1993 : proceedings
ανά: Voronkov, Andrei, 1959-

Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings

Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings

Boolean Reasoning : The Logic of Boolean Equations
ανά: Brown, Frank Markham, 1930-

Learning language in logic
ανά: Cussens, James, 1965-

Logic, Language and Computation

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : proceedings

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
ανά: Kakas, Antonis C.

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
ανά: Kakas, Antonis C.

Logic as Calculus and Logic as Language: Too Suggestive to be Truthful?
ανά: von Plato, Jan
Έκδοση: (2021)

Reasoning.
Έκδοση: (2024)

Logic as Calculus and Logic as Language: Too Suggestive to be Truthful?
ανά: von Plato, Jan
Έκδοση: (2021)

Reasoning in Quantum Theory : Sharp and Unsharp Quantum Logics
ανά: Chiara, M., κ.ά.

Journal of logic, language and information
Έκδοση: (2002)

Knowledge Representation and Inductive Reasoning using Conditional Logic and Sets of Ranking Functions
ανά: Kutsch, Steven
Έκδοση: (2021)

The Language and logic of the Bible : the Earlier Middle Ages
ανά: Evans, Gillian Rosemary, 1944-
Έκδοση: (1991)

Journal of Logic, Language and Information.

Journal of Logic, Language and Information.

Journal of Logic, Language and Information.

New Essays in Free Logic : In Honour of Karel Lambert

Logic, language, and computation : festschrift in honor of Satoru Takasu
ανά: Jones, Neil D., 1941-

Reasoning in Boolean Networks : Logic Synthesis and Verification using Testing Techniques
ανά: Kunz, Wolfgang, 19..-, κ.ά.

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales