1
Human and Artificial Rationalities [E-Book] : Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
2
Semantic Intelligence [E-Book] : Select Proceedings of ISIC 2022 /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
3
Reasoning Web. Declarative Artificial Intelligence [E-Book] : 17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
4
Verification, Model Checking, and Abstract Interpretation [E-Book] : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
5
Music, Mathematics and Language [E-Book] : The New Horizon of Computational Musicology Opened by Information Science /
Table of Contents: “...Chapter 1: Toward the Machine Computing Semantics of Music -- Chapter 2: Mathematics of Temperament: Principle and Development -- Chapter 3: Music and Natural Language -- Chapter 4: Berklee Method -- Chapter 5: Implication-Realization Model -- Chapter 6...”

Full text 
Favorites
Saved in:
6
Modelling Puzzles in First Order Logic [E-Book] /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
7
Frontiers of Combining Systems [E-Book] : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
8
Deceptive AI [E-Book] : First International Workshop, DeceptECAI 2020, Santiago de Compostela, Spain, August 30, 2020 and Second International Workshop, DeceptAI 2021, Montreal, Canada, August 19, 2021, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
9
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
10
Formal Techniques for Distributed Objects, Components, and Systems [E-Book] : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings /
Subject (ZB): “...Computer science-Mathematics....”

Full text 
Favorites
Saved in:
11
Belief Functions: Theory and Applications [E-Book] : 6th International Conference, BELIEF 2021, Shanghai, China, October 15-19, 2021, Proceedings /
Subject (ZB): “...Computer science-Mathematics....”

Full text 
Favorites
Saved in:
12
Automated Deduction - CADE 28 [E-Book] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
13
Provenance and Annotation of Data and Processes [E-Book] : 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19-22, 2021, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
14
Computer Aided Verification [E-Book] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
15
Computer Aided Verification [E-Book] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
16
Intelligent Computer Mathematics [E-Book] : 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
17
Logics in Artificial Intelligence [E-Book] : 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
18
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21-24, 2021, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
19
Logic and Argumentation [E-Book] : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
20
Fuzzy Logic [E-Book] : Recent Applications and Developments /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:

Narrow Search Results