Decision Problem
Solvable Classes of Quantificational Formulas
Addison Wesley (Publisher)
Published on 1. January 1979
Book
Hardback
283 pages
978-0-201-02540-8 (ISBN)
More details
Language
English
Place of publication
New Jersey
United States
Publishing group
Pearson Education (US)
Illustrations
Ill.
Dimensions
Height: 240 mm
Width: 160 mm
ISBN-13
978-0-201-02540-8 (9780201025408)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification