Implementing fragments of ZFC within an r.e. Universe.

Eric Martin Frank Stephan

Published in: J. Log. Comput. (2018)

Keyphrases

efficient implementation
computer vision
clustering algorithm
object recognition
information technology
real time
database systems
probability distribution