Justification Awareness Models

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72056-2_2 ◽

2017 ◽

pp. 22-36 ◽

Cited By ~ 5

Author(s):

Sergei Artemov

Download Full-text