Resolution methods for decision problems and finite-model building
By: Tanel Tammet
Contributors: Göteborgs universitet
Published: 1992
Language: eng
Number of pages: 97
ISBN-13: 9789170326448
Notes: Thesis (doctoral)--University of Göteborg, 1992.