Computational logic : (Record no. 26219)

MARC details
000 -LEADER
fixed length control field 00881nam a22002535a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20180304134306.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 180304t2002 gw a frb 001 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540439608
040 ## - CATALOGING SOURCE
Original cataloging agency EG-ScBUE
Language of cataloging eng
Transcribing agency EG-ScBUE
Modifying agency EG-ScBUE
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Edition number 22
Classification number 005.115
Item number COM
245 00 - TITLE STATEMENT
Title Computational logic :
Remainder of title logic programming and beyond /
Statement of responsibility, etc editors Antonis C. Kakas, Fariba Sadri.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc c.2002.
300 ## - PHYSICAL DESCRIPTION
Extent xii, 628 p. :
Other physical details ill. ;
Dimensions 24 cm.
490 0# - Series Statement
Series statement Lecture notes in computer science,
Volume/sequential designation 2408.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
505 2# - FORMATTED CONTENTS NOTE
Formatted contents note v. 2. essays in honour of Robert A. Kowalski .
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Source of heading or term BUEsh
Topical term or geographic name as entry element Logic programming.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Automatic theorem proving.
651 ## - SUBJECT ADDED ENTRY--GEOGRAPHIC NAME
Source of heading or term BUEsh
653 ## - INDEX TERM--UNCONTROLLED
Resource For college Informatics and Computer Science
Arrived date list March2018
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Kakas, Antonis C.,
Relator term editor.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Sadri, Fariba,
Relator term editor.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
952 ## - LOCATION AND ITEM INFORMATION (KOHA)
-- 2018-03-04
952 ## - LOCATION AND ITEM INFORMATION (KOHA)
-- 2020-10-26
Holdings
Withdrawn status Item status Source of classification or shelving scheme Damaged status Not for loan Vendor Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Serial Enumeration / chronology Total Checkouts Full call number Barcode Date last seen Cost, replacement price Koha item type
    Dewey Decimal Classification     Baccah Central Library Central Library Lower Floor 04/03/2018 Purchase 1023.00 21201   005.115 COM 000047326 12/02/2024 1279.00 Book - Borrowing
    Dewey Decimal Classification     unknown Central Library Central Library Lower Floor 26/10/2020 Purchase       005.115 COM 000050047 12/02/2024   NB - Book (Non borrowing)

© BUE Library 2020