by Andrei Voronkov (Author), Moshe Vardi (Author)
Format: Paperback
Pages: 452
Edition: 2003
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540201017
ISBN 13: 9783540201014