Detailed Information on Publication Record
2009
Handbook of satisfiability
Basic information
Original name
Handbook of satisfiability
Authors
Edited by Armin Biere.
Edition
Amsterdam, xiii, 966, 2009
Publisher
IOS Press
Other information
ISBN
9781586039295
Změněno: 8/8/2022 13:58, The record has been imported from the library system.