Annals of Mathematics and Artificial Intelligence Journal

Overview
Identity
View All

publication venue for

The Universal Approximation Property. 89:435-469. 2021
First-order definable counting-only queries. 87:109-136. 2019
Implication and axiomatization of functional and constant constraints. 76:251-279. 2016
An overview of a formal framework for managing mathematics. 38:165-191. 2003
The Kreisel length-of-proof problem. 6:27-55. 1992

has subject area

0102 Applied Mathematics (FoR)
0801 Artificial Intelligence and Image Processing (FoR)
0802 Computation Theory and Mathematics (FoR)
Artificial Intelligence & Image Processing (Science Metrix)