Resolution methods for decision problems and finite-model building

Universitet

Göteborgs universitet/University of Gothenburg

Institution

Datalogi

URL:

http://hdl.handle.net/2077/14540

Samlingar

Doctoral Theses from University of Gothenburg / Doktorsavhandlingar från Göteborgs universitet

Datum

1992

Författare

Tammet, Tanel

Publikationstyp

Doctoral thesis

ISBN

91-7032-644-4

Metadata

Visa fullständig post