Normal view MARC view ISBD view

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

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	20190304151931.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.

Topical term or geographic name entry element	Logic, Symbolic and mathematical.

Topical term or geographic name entry element	Reasoning.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme

Holdings
Withdrawn status	Lost status	Damaged status	Not for loan	Collection code	Permanent Location	Current Location	Shelving location	Full call number	Barcode	Date last seen	Price effective from	Koha item type
				Main Collection	Matheson Library	Matheson Library	Main Collection	006.3 R178	104181	2019-03-04	2019-03-04	Books

Matheson Library