NUST Institutions Library Catalogue Search for 'se,phr:"Frontiers in artificial intelligence and applications,"'

Handbook of satisfiability

By Biere, Armin. Amsterdam, The Netherlands ; | Washington, DC ; IOS Press, 2009 . xiii, 966 p. : 25 cm.. 9781586039295

Amsterdam ; | Washington, D.C. : IOS Press, 1997 . xv, 546 p. : 25 cm.. 4274901807 (Ohmsha) | 9051993552 (IOS Press)

Amsterdam ; | Oxford : IOS Press : | Ohmsha, 1996 . x, 341 p. : 23 cm.. 4274900975 (Ohmsha) | 905199270X (IOS Press)