m
     
Thesaurus

H 0 68T15

= Theorem proving (deduction, resolution, etc.)

AMS > 68-XX > 68Txx > 68T15

[51 document(s)]

Documents (Codes MSC)

Z