On Definable Subsets of p-Adic Fields.

Angus Macintyre

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

Keyphrases

computer vision
neural network
real world
information systems
computer science
first order logic
application fields