The Classical and the omega-Complete Arithmetic.

Andrzej Grzegorczyk Andrzej Mostowski Czeslaw Ryll-Nardzewski

Published in: J. Symb. Log. (1958)

Keyphrases

management system
medical images
classical methods
databases
machine learning
artificial intelligence
information systems
face recognition
cooperative
search algorithm
wireless sensor networks
floating point