登入選單

返回Google圖書搜尋

A BDD-representation for the Logic of Equality and Uninterpreted Functions (a Full Version with Proofs)

J. C. van de PolJan Cornelis PolOlga Tveretina

出版	Centrum voor Wiskunde en Informatica, 2005
URL	http://books.google.com.hk/books?id=H_viHAAACAAJ&hl=&source=gbs_api