Completely non-clausal, completely neuristically driven, automatic theorem proving
Published: 1983
Language: eng
Number of pages: 596