Full Development of Tarski's Geometry of Solids.

Rafal Gruszczynski Andrzej Pietruszczak

Published in: Bull. Symb. Log. (2008)

Keyphrases

case study
three dimensional
rapid development
st century
neural network
image segmentation
real time
machine learning
information retrieval
artificial intelligence
multi view
development process