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
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:
4
Formal Methods - Fun for Everybody [E-Book] : First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
5
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:
6
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:
7
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:
8
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:
9
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:
10
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:
11
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:
12
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:
13
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:
14
Logic-Based Program Synthesis and Transformation [E-Book] : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
15
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:
16
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:
17
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:
18
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:
19
Structured Object-Oriented Formal Language and Method [E-Book] : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
20
Graph Structures for Knowledge Representation and Reasoning [E-Book] : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:

Narrow Search Results