Personensuche
X
?
Lecture Notes in Computer Science; Language, Logic, and Computation ,
10
Incomplete Information and Justifications:
, In:
?
Logical Foundations of Computer Science; Lecture Notes in Computer Science ,
11
A Logic of Interactive Proofs:
, In:
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
13