An approach to the extension of a theorem prover by advanced structuring mechanisms

Bortin, Maksym (2010). An approach to the extension of a theorem prover by advanced structuring mechanisms. (Doktoritöö, Universität Bremen). Berlin: Logos-Verlag.
dissertatsioon
Bortin, Maksym
  • Inglise
Doktoritöö
Universität Bremen
Berlin
978-3-8325-2502-6
2010
229
Ilmunud
2.3. Dissertatsioonide seerias ilmunud dissertatsioonid (v.a. käsikirjalised);

Seotud asutused

Universität Bremen, Germany

Lisainfo

Kirje DNB kataloogis http://d-nb.info/1003248020