Formal methods in artificial intelligence / (Record no. 145119)

MARC details
000 -LEADER
fixed length control field 00869cam a2200265Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521424216 (pbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521352363 (hbk.)
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) Q335
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) RAM
003 - CONTROL NUMBER IDENTIFIER
control field
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20230123133233.0
040 ## - CATALOGING SOURCE
Transcribing agency NUST
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Ramsay, Allan.
245 10 - TITLE STATEMENT
Title Formal methods in artificial intelligence /
Statement of responsibility, etc. Allan Ramsay.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge ;
-- New York :
Name of publisher, distributor, etc. Cambridge University Press,
Date of publication, distribution, etc. 1991, c1988.
300 ## - PHYSICAL DESCRIPTION
Extent ix, 279 p. :
Other physical details ill. ;
Dimensions 25 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Cambridge tracts in theoretical computer science ;
Volume/sequential designation 6
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Artificial intelligence
General subdivision Methodology.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Reasoning.
907 ## - LOCAL DATA ELEMENT G, LDG (RLIN)
a .b10057523
b 23-04-12
c 17-04-03
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Ordinary Loan Books
Call number prefix Q335
Call number suffix RAM
Holdings
Date last seen Total Checkouts Full call number Barcode Cost, replacement price Price effective from Koha item type Lost status Source of classification or shelving scheme Damaged status Not for loan Collection Withdrawn status Home library Current library Shelving location Date acquired Cost, normal purchase price
01/23/2023   Q335 RAM 92003007671 80.00 01/23/2023 BOOKS   LCC     NFIC   MAIN MAIN GEN 01/23/2023 80.00