Handbook of satisfiability

作者：edited by Armin Biere ... [et al.].
出版社：IOS Press
ISBN：9781607503767 (electronic bk.) ; 9781586039295
出版日期：c2009.
其他作者：Biere, Armin.
語言：zh
出版地：Amsterdam, The Netherlands ; Washington, DC :
內容簡介

xiii, 966 p. ::ill. ;:25 cm.

搜尋同作者