Search results

Query: faculty: "UvA" and publication year: "2003"

Author J.M. Heguiabehere Title Building logic toolboxes Promotor D.J.N. van Eijck Co-promotor M. de Rijke Date 4-12-2003 Publisher Institute for Logic, Language and Computation Place Amsterdam Year 2003 Pages 180 ISBN 90-5776-115-7 Faculty UvA Faculty of Humanities Faculty of Science Institute/dept. FGw: Institute for Logic, Language and Computation (ILLC) Classification - Language English Document type Dissertation Download papers Thesis   Cover Titlepage Contents Acknowledgments Chapter 1 Introduction Part I Evaluation in Modal and Hybrid Theorem Proving Chapter 2 How Long is a Ruler? Chapter 3 Modal Theorem Proving: Translations into First Order Logic Chapter 4 Modal and Hybrid Theorem Proving – Direct Resolution Part II Programming with Dynamic First Order Logic Chapter 5 The Executable Program Interpretation for Dynamic First Order Logic Chapter 6 Hoare Calculus for DFOL Chapter 7 Tableau Reasoning with DFOL Chapter 8 Implementing Dynamo Part III Conclusions Chapter 9 Conclusion Bibliography Samenvatting Abstract Cover Document finder Use this url to link to this page: http://dare.uva.nl/en/record/220521 Contact us about this recordNotify a colleague Add to bookbag

• Disclaimer/Complaints regulations
  If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the University Library know, stating your reasons. In case of a legitimate complaint the University Libary will make the material inaccessible and/or remove it from the website.
  Please send an e-mail to: dare@uva.nl, or a letter to: Bibliotheek van de Universiteit van Amsterdam, Dept. Electronic Services, UvA-DARE, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.

• UvA-DARE is a service of the Library of the University of Amsterdam and is part of a national and international network of scientific and scholarly information services.