Item request has been placed!
×
Item request cannot be made.
×
![loading](/sites/all/modules/hf_eds/images/loading.gif)
Processing Request
Item request has been placed!
×
Item request cannot be made.
×
![loading](/sites/all/modules/hf_eds/images/loading.gif)
Processing Request
Subjects: MSC 03E10 (03F15)
-
Source:
Mathematics for Computation - M4C ; https://hal.science/hal-03522215 ; Marco Benini; Olaf Beyersdorff; Michael Rathjen; Peter Schuster.
-
Record details
-
Source:
World Congress on Engineering 2007 (Volume 2). 2007, Vol. 2, p639-644. 6p.
Record details
Subjects: Logics for multi-agent systems
-
Source:
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings ; https://hal.science/hal-03573581 ; Logics in Artificial Intelligence: 17th
-
Record details
Subjects: Incomplete argumentation frameworks
-
Source:
Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings ; https://hal.science/hal-03573580 ; Logic and Argumentation: 4th International
-
Record details
Subjects: Inhabitation problem
-
Source:
LIPIcs : 26th International Conference on Types for Proofs and Programs (TYPES 2020) ; https://hal.science/hal-03255968 ; Ugo de'Liguoro; Stefano Berardi; Thorsten Altenkirch. LIPIcs : 26th
-
Record details