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

000 -LEADER
fixed length control field nam a22 7a 4500
003 - CONTROL NUMBER IDENTIFIER
control field FUTML
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20170420123155.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 910611s1991 enka g b 100 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0471930180
037 ## - ACCESSION NUMBER
Accession NUmber B-15546
040 ## - CATALOGING SOURCE
Original cataloging agency FUTML
Transcribing agency FUTML
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.E95
Item number V47 1991
100 ## - MAIN ENTRY--PERSONAL NAME
Dates associated with a name x
9 (RLIN) 12402
245 00 - TITLE STATEMENT
Title Validation, verification, and test of knowledge-based systems /
Statement of responsibility, etc. 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
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references.
590 ## - LOCAL NOTE (RLIN)
Accession/Initials/Date of Entry B-15546/yusufibrahim/190417
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 edited by Ayel, Marc and Laurent Pierre
9 (RLIN) 12403
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Laurent, Jean-Pierre.
9 (RLIN) 12404
912 ## - Cataloguer Details
Cataloguer Details yusuf ibrahim
Keyed by yusuf ibrahim
Verified By saba
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books,Booklets,Workbooks
949 ## - Local Processing Information
Book Location IBB LIBRARY GK
Cutter Number V47
Barcode Number 2342110192
Copy Number nc1
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 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 QA76.76.E95.V47 2342110192 2017-04-19 nc1 2017-04-19 Books,Booklets,Workbooks