登入選單
Google圖書搜尋
A Proof Environment for Arithmetic with the Omega ...
作者
Siani L. Baker / Alan Smaill / University of Edinburgh. Department of Artificial Intelligence
出版1993
ISBN
UCSC:32106011980163
主題
Automated theorem proving
A New Application for Explanation-based Generalisa...
作者
Siani L. Baker
出版1994
ISBN
UCSC:32106012021124
主題
Automatic theorem proving
A Proof Environment for Arithmetic with the Omega ...
作者
Siani L. Baker / Alan Smaill / University of Edinburgh. Department of Artificial Intelligence
出版1993
ISBN
UCSC:32106011980163
主題
Automated theorem proving
A New Application for Explanation-based Generalisa...
作者
Siani L. Baker
出版1994
ISBN
UCSC:32106012021124
主題
Automatic theorem proving