1
Formal Methods: Foundations and Applications [E-Book] : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
2
Dynamic Logic. New Trends and Applications [E-Book] : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
3
From Computational Logic to Computational Biology [E-Book] : Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
4
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
5
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
6
Active Object Languages: Current Research Trends [E-Book] /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
7
Chatbot Research and Design [E-Book] : 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
8
Foundations of Information and Knowledge Systems [E-Book] : 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
9
Human and Artificial Rationalities [E-Book] : Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
10
Foundations of Software Science and Computation Structures [E-Book] : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
11
Foundations of Software Science and Computation Structures [E-Book] : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
12
Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence [E-Book] /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
13
R-Calculus, V: Description Logics [E-Book] /
Li, Wei
2024
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
14
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:
15
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:
16
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:
17
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:
18
Introduzione al Progetto di Sistemi Digitali [E-Book] /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
19
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:
20
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:

Narrow Search Results