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

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 20170502130545.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 170502s1991 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-15545
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-15545/abu/17/02/05
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

No items available.