1.

図書
図書
1. Handbook of satisfiability
edited by Armin Biere ... [et al.]
出版情報: Amsterdam : IOS Press, c2009
シリーズ名: Frontiers in artificial intelligence and applications ; v. 185
所蔵情報: loading…
2.

図書
図書
2. Algorithms and computation : 10th International Symposium, ISAAC '99, Chennai, India, December 16-18, 1999 : proceedings
Alok Aggarwal, C. Pandu Rangan (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1741
所蔵情報: loading…