In
AITP 2021: 6th Conference on Artificial Intelligence and Theorem Proving September 5-11, 2021, Aussois and online, France, pp. 1-3Related links
Annotation
AITP 2021
Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Organization
Software Science
Book title
AITP 2021: 6th Conference on Artificial Intelligence and Theorem Proving September 5-11, 2021, Aussois and online, France
Page start
p. 1
Page end
p. 3
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [227864]
- Electronic publications [107344]
- Faculty of Science [33774]
- Open Access publications [76463]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.