1
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:
2
Unconventional Computation and Natural Computation [E-Book] : 19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021, Proceedings /
Subject (ZB): “...Computer science-Mathematics....”

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

Full text 
Favorites
Saved in:
4
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops [E-Book] : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers /
Table of Contents: “... Computer Emulation -- A Multi-Agent Depth Bounded Boolean Logic -- The intensional structure of epistemic convictions -- Short-circuiting the definition of mathematical knowledge for an Artificial General Intelligence -- Reasoning about Ignorance and Beliefs...”

Full text 
Favorites
Saved in:
5
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:
6
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:
7
Connecting with Computability [E-Book] : 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings /
Table of Contents: “... -- On preserving the computational content of mathematical proofs: toy examples for a formalising strategy -- n search of the first-order part of Ramsey's theorem for pairs -- On subrecursive representability of irrational numbers: Contractors and Baire sequences...”

Full text 
Favorites
Saved in:
8
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:
9
Rigorous State-Based Methods [E-Book] : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
10
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:
11
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:
12
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:
13
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:
14
R-CALCULUS: A Logic of Belief Revision [E-Book] /
Li, Wei
2021
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
15
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:
16
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:
17
AI Approaches to the Complexity of Legal Systems XI-XII [E-Book] : AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020, Revised Selected Papers /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
18
Unconventional Computation and Natural Computation [E-Book] : 18th International Conference, UCNC 2019, Tokyo, Japan, June 3-7, 2019, Proceedings /
Subject (ZB): “...Computer science-Mathematics....”

Full text 
Favorites
Saved in:
19
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [E-Book] : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
20
Automated Reasoning [E-Book] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
Table of Contents: “...Satisfiabiliy of Boolean Formulas -- Satisfiability Modulo Theory -- Rewriting -- Arithmetic Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving -- Higher-order Theorem Proving -- Modal and Temporal...”

Full text 
Favorites
Saved in:

Narrow Search Results