
Mathematical Aspects of Logic Programming Semantics
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
Reviews / Votes
... Much of the material has been generated by [the authors'] own collaboration over the past decade, but they also integrate research results by others. A major feature is that they significantly transcend the tools and methods from the order theory traditionally used in this context, to include non-traditional methods from mathematical analysis depending on topology, generalized distance functions, and their associated fixed-point theory. ...-SciTech Book News, February 2011
More details
Other editions
Additional editions


Persons
Anthony Seda is a senior lecturer in the Department of Mathematics and co-founder of the Boole Centre for Research in Informatics at University College Cork. Dr. Seda is an editorial board member of Information and the International Journal of Advanced Intelligence. His research interests include measure theory, functional analysis, topology, fixed-point theory, denotational semantics, and the semantics of logic programs.
Content
System requirements
File format: PDF
Copy-Protection: Adobe-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Install the free reader Adobe Digital Editions prior to download (see eBook Help).
- Tablet/smartphone (Android; iOS): Install the free app Adobe Digital Editions or the app PocketBook before downloading (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Adobe-DRM, a „hard” copy protection. If the necessary requirements are not met, unfortunately you will not be able to open the eBook. You will therefore need to prepare your reading hardware before downloading.
Please note: We strongly recommend that you authorise using your personal Adobe ID after installation of any reading software.
For more information, see our eBook Help page.