登入
選單
Google圖書搜尋
全部
書名
作者
出版社
主題
ISBN
上一頁
1 ~ 4 / 4
下一頁
Transforming DPLL to Resolution
作者
Olga Tveretina / Hans Zantema
出版
2002
ISBN
OCLC:66954613
A Proof System and a Decision Procedure for Equali...
作者
Olga Tveretina / Hans Zantema
出版
2003
ISBN
OCLC:66720868
Decision Procedures for Equality Logic with Uninte...
作者
Olga Tveretina
出版
2005
ISBN
9038606249 / 9789038606248
A BDD-representation for the Logic of Equality and...
作者
J. C. van de Pol / Olga Tveretina / Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)
出版
2005
ISBN
OCLC:255247771