Epestemic logic for AI and computer science (Record no. 42297)

MARC details
000 -LEADER
fixed length control field 00811nam a2200229 a 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 120416s1995 ||||||||||||||||| || u
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 052146014x
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number B 820.3 Mey
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Meyer, John-Jules Ch
245 10 - TITLE STATEMENT
Title Epestemic logic for AI and computer science
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge
Name of publisher, distributor, etc. Cambridge University Press
Date of publication, distribution, etc. 1995.
300 ## - PHYSICAL DESCRIPTION
Extent xiii, 354 p. : ill.
350 ## - PRICE (NR) (BK AM CF MU VM SE) [OBSOLETE]
Price 0.00
490 ## - SERIES STATEMENT
Series statement Cambridge tracts in theoretical computer science
490 ## - SERIES STATEMENT
Volume/sequential designation 41
500 ## - GENERAL NOTE
General note Bibliography
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element COMPUTER SCIENCE
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element LOGIC, SYMBOLICAL AND MATHEMATICAL
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element ARTIFICIAL INTELLIGENCE
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Hoek, Wiebe van der
995 ## - RECOMMENDATION 995 [LOCAL, UNIMARC FRANCE]
-- 0.00
-- CBU-MAIN LIBRARY (Kitwe)
-- 1
-- 31.95
-- AVAILABLE
-- Main Library Open Access Collection
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
          CBU-MAIN LIBRARY, KITWE. CBU-MAIN LIBRARY, KITWE.   11/30/2022   B 820.3 Mey 020802 11/30/2022 11/30/2022 MONOGRAPH