CCompletely non-clausal, completely neuristically driven, autCompletely non-clausal, completely neuristically driven, automatic theorem provingde Francis Jeffry PelletierEdiciones (1)Completely non-clausal, completely neuristically driven, automatic theorem proving (1983)inglésMás obras de Francis Jeffry PelletierThe generic bookReference and quantification
