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)
keywords Computer Science Computer Science, Artificial Intelligence Mathematics Mathematics, Applied Physical Sciences Science & Technology Technology axiomatic method computer algebra computer theorem proving little theories method mechanized mathematics