Matheson Library
Empowering Knowledge, Inspiring Discovery

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

MARC details
000 -LEADER
fixed length control field 00649cam a2200205 4500
001 - CONTROL NUMBER
control field 00234877
003 - CONTROL NUMBER IDENTIFIER
control field PWmBRO
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240602103802.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 941018s1991 enk b 00110 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521424216 (pbk)
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Ramsay, Allan,
Dates associated with a name 1953-
245 10 - TITLE STATEMENT
Title Formal methods in artificial intelligence /
Statement of responsibility, etc. Allan Ramsay.
260 0# - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge, Eng. :
Name of publisher, distributor, etc. Cambridge University Press,
Date of publication, distribution, etc. 1988.
300 ## - PHYSICAL DESCRIPTION
Extent ix, 279 p. :
Other physical details ill.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Cambridge tracts in theoretical computer science ;
Volume/sequential designation 6
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.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Total checkouts Full call number Barcode Date last seen Price effective from Koha item type
        Main Collection Matheson Library Matheson Library Main Collection 02.06.2024   006.3 R178 104181 04.03.2019 04.03.2019 Books