La Classification Mathématique par matières 2000
Mathematics subject Classification 2000
Question : CC = 03B35
03-XX Mathematical logic and foundations
- 03B35 Mechanization of proofs and logical operations [See also 68T15]
68-XX Computer science [For papers involving machine computations and programs in a specific mathematical area, see Section -04 in that area]
- 68T15 Theorem proving (deduction, resolution, etc.) [See also 03B35]
Retour à la page Classification Mathématique par Matières (version 2000)
|