Validation, verification, and test of knowledge-based systems / (Record no. 60590)
[ view plain ]
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.