Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Artificial Intelligence and Machine Learning
  4. On the Computability of Region−Based Euclidean Logics

On the Computability of Region−Based Euclidean Logics

Yavor Nenov and Ian Pratt−Hartmann

Journal
Conference for Computer Science Logic
Year
2010

Links

See Also

Back to Top