Handbook of satisfiability

Saved in:

书目详细资料
企业作者:	ebrary, Inc
其他作者:	Biere, Armin
格式:	电子电子书
语言:	英语
出版:	Amsterdam, The Netherlands ; Washington, DC : IOS Press, c2009.
丛编:	Frontiers in artificial intelligence and applications ; v. 185.
主题:	Propositional calculus > Congresses. Decision making > Congresses. Computer algorithms > Congresses. Algebra, Boolean > Congresses. Electronic books.
在线阅读:	An electronic book accessible through the World Wide Web; click to view
标签:	添加标签没有标签, 成为第一个标记此记录!

因特网