1
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:
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
The French School of Programming [E-Book] /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
4
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:
5
Programming-Based Formal Languages and Automata Theory [E-Book] : Design, Implement, Validate, and Prove /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
6
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:
7
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:
8
R-Calculus, V: Description Logics [E-Book] /
Li, Wei
2024
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
9
Rigorous State-Based Methods [E-Book] : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
10
Coalgebraic Methods in Computer Science [E-Book] : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
11
Rewriting Logic and Its Applications [E-Book] : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
12
Intelligent Computer Mathematics [E-Book] : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
13
Metadata and Semantic Research [E-Book] : 17th Research Conference, MTSR 2023, Milan, Italy, October 25-27, 2023, Revised Selected Papers /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
14
Automated Reasoning [E-Book] : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
15
Automated Reasoning [E-Book] : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
16
Robust Argumentation Machines [E-Book] : First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings /
Subject (ZB): “...Machine theory....”

Full text 
Favorites
Saved in:
17
To halt or not to halt? That is the question [E-Book] /
Subject (ZB): “...Machine theory....”

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

Narrow Search Results