tag:katalog.ub.uni-paderborn.de,2015:/local/sSuchergebnisse für superorder_id = HT003039141Universitätsbibliothek Paderborntag:katalog.ub.uni-paderborn.de,2015:SearchEngine::Record/990006527600106463Derivation and validation of software metrics<div>Shepperd, Martin; Ince, Darrel</div><div>1993</div>tag:katalog.ub.uni-paderborn.de,2015:SearchEngine::Record/990005334450106463Programming in Martin-Löf's type theory : an introduction<div>Nordström, Bengt; Petersson, Kent; Smith, Jan M</div><div>1990</div>tag:katalog.ub.uni-paderborn.de,2015:SearchEngine::Record/990005509060106463Discrete relaxation techniques<div>Henderson, Thomas C</div><div>1990</div>tag:katalog.ub.uni-paderborn.de,2015:SearchEngine::Record/990006474080106463Automated deduction in multiple valued logics<div>Hähnle, Reiner</div><div>1993</div>tag:katalog.ub.uni-paderborn.de,2015:SearchEngine::Record/990006520240106463Computation and reasoning : a type theory for computer science<div>Luo, Zhaohui</div><div>1994</div>tag:katalog.ub.uni-paderborn.de,2015:SearchEngine::Record/990004637630106463Art gallery theorems and algorithms<div>O'Rourke, Joseph</div><div>1987</div>tag:katalog.ub.uni-paderborn.de,2015:SearchEngine::Record/990005269070106463Computable set theory. 1<div>Cantone, Domenico; Ferro, Alfredo; Omodeo, Eugenio</div><div>1989</div>