Innovations in computational type theory using Nuprl
- 作者S.F. Allen; M. Bickford; R.L. Constable; R. Eaton; C. Kreitz; L. Lorigo; E. Moran
- 卷第4卷
- 期第4期
- 印刷ISSN1570-8683
- 文件大小499.40KB
- 发表时间2006
- DOI10.1016/j.jal.2005.10.005
- 页码428-469
Using and Understanding Medical Statistics || Contents / Preface 4th Edition, Preface 3rd Edition, Preface 2nd Edition / Preface 1st Edition, · 2007
Preface: Preface for Stiefel IssueJohn H. Dawson; Harry B. Gray · 2007
Preface / Preface / VorwortPaedagogica Europaea · 1965
Preface/PrefaceSen, B. · Uniform Law Review - Revue de droit uniforme · 2005
Vorwon / Preface / PrefaceInternationales Jahrbuch der Erwachsenenbildung · 1973
Preface / PrefaceCurrent Sociology · 1955
Vorwort/Preface/PrefaceInternationales Jahrbuch der Erwachsenenbildung · 1975
PREFAZIONE - PREFACE - PREFACENora Federici and Antonio Golini · Genus · 1995
Repair localization for query answering from inconsistent databasesEiter, Thomas; Fink, Michael; Greco, Gianluigi; Lembo, Domenico · ACM Transactions on Database Systems · 2008
[ACM Press the 2005 ACM SIGMOD international conference - Baltimore, Maryland (2005.06.14-2005.06.16)] Proceedings of the 2005 ACM SIGMOD international conference on Management of data - SIGMOD '05 - The INFOMIX system for advanced integration of incomplete and inconsistent dataLeone, Nicola; Rosati, Riccardo; Lembo, Domenico; Lenzerini, Maurizio; Ruzzi, Marco; Kalka, Edyta; Nowicki, Bartosz; Staniszkis, Witold; Greco, Gianluigi; Ianni, Giovambattista; Lio, Vincenzino; Terracina, Giorgio; Eiter, Thomas; Faber, Wolfgang; Fink, Michael; Gottlob, Georg · 2005