1
Practical Aspects of Declarative Languages [E-Book] : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings /
2
Logic and Its Applications [E-Book] : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings /
3
R-Calculus, IV: Propositional Logic [E-Book] /
Li, Wei
2023
Subject (ZB): ...Machine theory....

Full text 
4
Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations [E-Book] : Theories and Methodologies /
5
Developments in Language Theory [E-Book] : 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings /
6
Rigorous State-Based Methods [E-Book] : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings /
7
Combinatorics on Words [E-Book] : 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings /
8
Metadata and Semantic Research [E-Book] : 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022, Revised Selected Papers /
9
Reachability Problems [E-Book] : 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings /
10
The Semantic Web: ESWC 2023 Satellite Events [E-Book] : Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings /
11
Recent Trends in Algebraic Development Techniques [E-Book] : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers /
12
Logics in Artificial Intelligence [E-Book] : 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings /
13
Runtime Verification [E-Book] : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings /
14
Logic and Argumentation [E-Book] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /
15
Machine Learning and Knowledge Extraction [E-Book] : 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings /
16
Intelligent Computer Mathematics [E-Book] : 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings /
17
Automated Deduction - CADE 29 [E-Book] : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
18
Artificial Intelligence Logic and Applications [E-Book] : The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings /
19
Inductive Logic Programming [E-Book] : 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings /
20
Static Analysis [E-Book] : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings /