Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system
V. V. Atayan, M. K. MorokhovetsVolume:
32
Language:
english
Pages:
24
DOI:
10.1007/bf02366511
Date:
May, 1996
File:
PDF, 1.60 MB
english, 1996