登入選單

返回Google圖書搜尋

Secondary Storage Oriented Breadth-first Manipulation of Very Large Shzred Binary Decision Diagrams

H. OchiK. YasuokaS. Yajima

出版	Kyoto University. Department of Information Science [KUIS], 1992
URL	http://books.google.com.hk/books?id=xtMArgEACAAJ&hl=&source=gbs_api