Axiomatizations of Peano Arithmetic: a Truth-Theoretic View.

Ali Enayat Mateusz Lelyk

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

Keyphrases

multiple views
artificial intelligence
special case
neural network
image processing
web services
multiscale
d objects
multi view