Validation, verification, and test of knowledge-based systems / (Record no. 61730)

000 -LEADER
fixed length control field 01231cam a2200277 a 4500
001 - CONTROL NUMBER
control field 2960292
003 - CONTROL NUMBER IDENTIFIER
control field FUTML
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20170509102913.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field ta
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 170509s1991 enka b 100 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 91022277
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0471930180 :
Terms of availability $48.30
037 ## - ACCESSION NUMBER
Accession NUmber B-15547
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.E95
Item number .V35 1991
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.3/3
Edition number 20
245 00 - TITLE STATEMENT
Title Validation, verification, and test of knowledge-based systems /
Statement of responsibility, etc. edited by Marc Ayel and Jean-Pierre Laurent.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Chichester ;
-- New York :
Name of publisher, distributor, etc. Wiley,
Date of publication, distribution, etc. c1991.
300 ## - PHYSICAL DESCRIPTION
Extent xx, 219 p. :
Other physical details ill. ;
Dimensions 25 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Wiley professional computing
9 (RLIN) 11738
500 ## - GENERAL NOTE
General note "Contributions presented at the first European Workshop on Vallidation, Verification, and Test of Knowledge-based System[s], which was organized during the ECAI 90 Conference in Stockholm"--Foreword.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references.
590 ## - LOCAL NOTE (RLIN)
Accession/Initials/Date of Entry B-15547/abu/09/05/17
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Expert systems (Computer science)
9 (RLIN) 1928
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Ayel, Marc.
9 (RLIN) 12403
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Laurent, Jean-Pierre.
9 (RLIN) 12404
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 1
e ocip
f 19
g y-gencatlg
912 ## - Cataloguer Details
Cataloguer Details Abu
Keyed by Abu
Verified By Abu
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books,Booklets,Workbooks
949 ## - Local Processing Information
Book Location GK
Cutter Number .V35 1991
Copy Number nc 1
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Permanent Location Current Location Date acquired Source of acquisition Inventory number Full call number Barcode Date last seen Copy number Price effective from Koha item type
          IBB Library-Gidan Kwano IBB Library-Gidan Kwano 0000-00-00 Local Purchase B-15547 QA76.76.E95.V35 1991 2342111086 2017-05-09 nc 1 0000-00-00 Books,Booklets,Workbooks