Automated theorem-proving research in the Fifth Generation Computer Systems Project: Model generation theorem provers
Mark E StickelVolume:
9
Année:
1993
Langue:
english
Pages:
10
DOI:
10.1016/0167-739x(93)90007-c
Fichier:
PDF, 899 KB
english, 1993