1
Formal Aspects of Component Software [E-Book] : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers /
Subject (ZB): “...Machine theory....”

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

Full text 
Favorites
Saved in:
3
Programming-Based Formal Languages and Automata Theory [E-Book] : Design, Implement, Validate, and Prove /
Subject (ZB): “...Machine theory....”

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

Full text 
Favorites
Saved in:
5
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings /
Subject (ZB): “...Machine theory....”

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

Full text 
Favorites
Saved in:
7
Inductive Logic Programming [E-Book] : 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
8
The French School of Programming [E-Book] /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
9
Rigorous State-Based Methods [E-Book] : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings /
Subject (ZB): “...Machine theory....”

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

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

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

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

Full text 
Favorites
Saved in:
14
Combinatorics on Words [E-Book] : 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings /
Frid, Anna
2023
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
15
Logic and Argumentation [E-Book] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
16
Intelligent Computer Mathematics [E-Book] : 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
17
Automated Deduction - CADE 29 [E-Book] : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
18
Flexible Query Answering Systems [E-Book] : 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
19
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
20
Frontiers of Combining Systems [E-Book] : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:

Narrow Search Results