Login / Signup
Recent work around Modalys and Modal Synthesis.
Francisco Iovino
René Caussé
Richard Dudas
Published in:
ICMC (1997)
Keyphrases
</>
case study
modal logic
artificial intelligence
computer vision
pairwise