登入選單
Google圖書搜尋
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