Sign in
, Victor W. Marek, Chapman & Hall/CRC, 2009. Hardback, ISBN-13: 978-143980167-3, $89.95.
Marijn Heule
Published in:
Theory Pract. Log. Program. (2011)
Keyphrases
</>