1
The Mathematical Representation of Physical Reality [E-Book] /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
2
Mathematical logic and computation [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
3
Developments in Language Theory [E-Book] : 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
4
Next Generation Arithmetic [E-Book] : 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings /
Subject (ZB): “...Computer arithmetic and logic units....”

Full text 
Favorites
Saved in:
5
Verified Software. Theories, Tools and Experiments. [E-Book] : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers /
Lal, Akash
2023
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
6
Logic and Its Applications [E-Book] : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings /
Subject (ZB): “...Logic programming....”

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

Full text 
Favorites
Saved in:
8
Simple Type Theory [E-Book] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
9
R-Calculus, IV: Propositional Logic [E-Book] /
Li, Wei
2023
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
10
Concrete Abstractions [E-Book] : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
11
Dynamic Logic. New Trends and Applications [E-Book] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
12
Practical Aspects of Declarative Languages [E-Book] : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
13
Verification, Model Checking, and Abstract Interpretation [E-Book] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
14
Dynamics in Logic and Language [E-Book] : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers /
Deng, Dun
2023
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
15
Introduzione al Progetto di Sistemi Digitali [E-Book] /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
16
Formal Methods Teaching [E-Book] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
17
Job Scheduling Strategies for Parallel Processing [E-Book] : 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
18
Chatbot Research and Design [E-Book] : 6th International Workshop, CONVERSATIONS 2022, Amsterdam, The Netherlands, November 22-23, 2022, Revised Selected Papers /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
19
Relational and Algebraic Methods in Computer Science [E-Book] : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
20
Mathematical Foundations of Data Science [E-Book] /
Subject (ZB): “...Computer arithmetic and logic units....”

Full text 
Favorites
Saved in:

Narrow Search Results