Intellectics and Computational Logic : :: SCD d'Orléans

Intellectics and Computational Logic : Papers in Honor of Wolfgang Bibel

Intellectics and Computational Logic : Papers in Honor of Wolfgang Bibel

Enregistré dans:

Bibliografiske detaljer
Andre forfattere:	Hölldobler, Steffen, 1957- (Collaborateur)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Intellectics and Computational Logic, Papers in Honor of Wolfgang Bibel

Lignende værker

Intellectica. Revue de l'Association pour la Recherche Cognitive.

Fuzzy Logic and Computational Intelligence
Udgivet: (2025)

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

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

ACM Transactions on Computational Logic.

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
af: Leivant, Daniel

Program development in computational logic : a decade of research advances in logic-based program development
af: Bruynooghe, Maurice

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

Computational aspects of an order-sorted logic with term declarations
af: Schmidt-Schauß, Manfred

Semiotics of Space in the Era of Computational Logic and Digital Practices
af: D’Armenio, Enzo, et autres
Udgivet: (2025)

Computational logic - CL 2000 : First International Conference, London, UK, July 24 28, 2000 : proceedings

Constraints in computational logics : theory and applications : International Summer School, CCL 99, Gif-sur-Yvette, France, September 5 8, 1999 : revised lectures

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 29, 1997 : proceedings

Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
af: Leite, João

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

Dura logica, sed logica
af: Common, John
Udgivet: (2021)

Linear Logic and Intuitionistic Logic
af: Okada, Mitsuhiro
Udgivet: (2004)

Feature Papers in Mathematical and Computational Applications
Udgivet: (2023)

Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
Udgivet: (1975)

Infinitary Logic : in Memoriam Carol Karp : A Collection of Papers by Various Authors

Logica.
af: Paolo, Veneto, approximately 1370-1428
Udgivet: (2014)

Logica.
af: Augustin, 0354-0430, saint
Udgivet: (2014)

Logica.
af: Paolo, Veneto, approximately 1370-1428
Udgivet: (2014)

Copies of Classical Logic in Intuitionistic Logic
af: Gaspar, Jaime
Udgivet: (2015)

‪Copies of Classical Logic in Intuitionistic Logic‪
af: Gaspar, Jaime
Udgivet: (2015)

Logic : an introduction
af: Restall, Greg, 1969-

Feature Papers in Mathematical and Computational Applications 2023
Udgivet: (2025)

Béatrice Galinon-Mélénec, Des signes-traces à l’Homme-trace. Perspectives anthropologiques, in « De la trace à la connaissance à l’ère du Web » (Mille, dir.) Intellectica, 2013/1, n° 59
af: Monseigne, Annick
Udgivet: (2014)

Tableau Methods for Propositional Logic and Term Logic
af: Jarmużek, Tomasz
Udgivet: (2024)

Studia Logica: An International Journal for Symbolic Logic.

Studia Logica: An International Journal for Symbolic Logic.

Studia Logica: An International Journal for Symbolic Logic.

Studia Logica: An International Journal for Symbolic Logic.

Studia Logica: An International Journal for Symbolic Logic.

Studia Logica: An International Journal for Symbolic Logic.

Trends in Logic : 50 Years of Studia Logica

Computational and analytical mathematics : in honor of Jonathan Borwein's 60th birthday
af: Bailey, David H., 1948-...., mathématicien

Algebra and logic : papers from the 1974 Summer research institute of the Australian Mathematical Society, Monash University, Australia
Udgivet: (1975)

Algebra and logic : papers from the 1974 Summer research institute of the Australian Mathematical Society, Monash University, Australia

© 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