01448nam a2200313 u 4500000000079237CaOOAMICUS20070226123522.0040528s1994 cau u000 u eng u012206382110997167PULitaDavis, Martin,1928-(OLS)http://pul/name/48980Computability, complexity, and languages :fundamentals of Theoretical Computer Science /Martin D. Davis, Ron Sigal, Elaine J. Weyuker.2.nd edition.San Diego :Morgan Kaufmann,1994.xix, 609 p. ;24 cmComputer science and scientific computingContiene indici.InformaticaStudio e insegnamento.(OLS)http://pul/subject/27553Weyuker, Elaine J.(OLS)http://pul/name/52781Sigal, Ron.(OLS)http://pul/name/52780Computer science and scientific computing.(OLS)http://pul/title/103744PULPUL1SL Cons. Gen., Altre Classi 375511. 3 DAVMA 1101440BK-PRIDDC 21101440PULBib2101440 PUL88560 290200122063821(OLS)http://pul/number/104069245Computability, complexity, and languages :fundamentals of Theoretical Computer Science(OLS)http://pul/title/103743260San Diego :Morgan Kaufmann(OLS)http://pul/publisher/7558401401nam a2200301 a 4500000000157635CaOOAMICUS20161216165440.0161216s1962 xxu u000 u eng rLibriCatPULitaWallace, William A.,O.P.(OLS)http://pul/name/53203The role of demonstration in moral theology :a study of methodology in st. Thomas Aquinas / William A. Wallace.Washington :Thomist Press,1962.ix-244 p. ; 24 cm.Tesi -- Università di Friburgo. Facoltà di Teologia. 1959.Bibliografia in nota a piè pagina.Thomas Aquinas,s.,c. 1225-1274.(OLS)http://pul/subject/448Université de Fribourg.Tesi.(OLS)http://pul/name/100562PULPUL1DP1 Tesi Univ. Friburgo37TH FRI 22180978Tesi184103PULBib2184103 23321 2Università di FriburgoTesi100562Universität Freiburg (Schweiz).Tesi10056216Tommaso d'Aquino,s.,1225-1274448245The role of demonstration in moral theology :a study of methodology in st. Thomas Aquinas / (OLS)http://pul/title/197239260Washington :Thomist Press(OLS)http://pul/publisher/79938