Login / Signup
Minimisation in Logical Form.
Nick Bezhanishvili
Marcello M. Bonsangue
Helle Hvid Hansen
Dexter Kozen
Clemens Kupke
Prakash Panangaden
Alexandra Silva
Published in:
CoRR (2020)
Keyphrases
</>
real world
genetic algorithm
artificial intelligence
computer vision
three dimensional
logical framework