Mathematical Aspects of Logic Programming Semantics. (Record no. 986472)

001 - CONTROL NUMBER
control field EBC1633443
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
additional material characteristics m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cnu||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 170619s2016 xx o ||||0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781439829622
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 9781439829615
035 ## - SYSTEM CONTROL NUMBER
System control number (MiAaPQ)EBC1633443
035 ## - SYSTEM CONTROL NUMBER
System control number (Au-PeEL)EBL1633443
035 ## - SYSTEM CONTROL NUMBER
System control number (CaPaEBR)ebr11002695
035 ## - SYSTEM CONTROL NUMBER
System control number (CaONFJC)MIL692877
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)899156585
040 ## - CATALOGING SOURCE
Original cataloging agency MiAaPQ
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency MiAaPQ
Modifying agency MiAaPQ
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.63 -- .H58 2011
082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.115
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (OCLC)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA76.63 -- .H58 2011
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Hitzler, Pascal.
245 10 - TITLE STATEMENT
Title Mathematical Aspects of Logic Programming Semantics.
250 ## - EDITION STATEMENT
Edition statement 1st ed.
264 #1 -
-- Baton Rouge :
-- CRC Press,
-- 2016.
264 #4 -
-- ©2010.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (296 pages)
336 ## - Content
Term text
Code txt
Content rdacontent
337 ## - Media
Term computer
Code c
Media rdamedia
338 ## - Carrier
Term online resource
Code cr
Carrier rdacarrier
490 0# - SERIES STATEMENT
Series statement eBooks on Demand
490 1# - SERIES STATEMENT
Series statement Chapman & Hall/CRC Studies in Informatics Series
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Front Cover -- Title -- Copyright -- Dedication -- Contents -- List of Figures -- List of Tables -- Preface -- Introduction -- About the Authors -- Chapter 1: Order and Logic -- Chapter 2: The Semantics of Logic Programs -- Chapter 3: Topology and Logic Programming -- Chapter 4: Fixed-Point Theory for Generalized Metric Spaces -- Chapter 5: Supported Model Semantics -- Chapter 6: Stable and Perfect Model Semantics -- Chapter 7: Logic Programming and Artificial Neural Networks -- Chapter 8: Final Thoughts -- Appendix Transfinite Induction and General Topology -- Bibliography -- Back Cover.
520 ## - SUMMARY, ETC.
Summary, etc … 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]]>.
588 ## -
-- Description based on publisher supplied metadata and other sources.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic programming.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programming languages (Electronic computers) -- Semantics.
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Seda, Anthony.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Print version:
Main entry heading Hitzler, Pascal
Title Mathematical Aspects of Logic Programming Semantics
Place, publisher, and date of publication Baton Rouge : CRC Press,c2016
International Standard Book Number 9781439829615
797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN)
Corporate name or jurisdiction name as entry element ProQuest (Firm)
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Chapman & Hall/CRC Studies in Informatics Series
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://ebookcentral.proquest.com/lib/uttyler/detail.action?docID=1633443">http://ebookcentral.proquest.com/lib/uttyler/detail.action?docID=1633443</a>
Link text Click here to view this ebook.
901 ## - LOCAL DATA ELEMENT A, LDA (RLIN)
Platform EBC
901 ## - LOCAL DATA ELEMENT A, LDA (RLIN)
Platform EBL
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Electronic Book
Source of classification or shelving scheme
Holdings
Withdrawn status Lost item Source of classification or shelving scheme Damaged status Not for loan Permanent Location Current Location Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
          UT Tyler Online UT Tyler Online Online 06/22/2017   QA76.63 -- .H58 2011 EBC1633443 06/22/2017 http://ebookcentral.proquest.com/lib/uttyler/detail.action?docID=1633443 06/22/2017 Electronic Book