Formal methods in artificial intelligence / (Record no. 300108)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00593cam a2200205ua 4500 |
001 - CONTROL NUMBER | |
control field | 2475 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20220105002208.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | ta |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 080808s1987 g b000 u eng u |
041 1# - LANGUAGE CODE | |
Language code of text/sound track or separate title | eng |
Language code of original | NULL |
082 14 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 006.3 |
Item number | DEL |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Delahaye, J P . |
245 10 - TITLE STATEMENT | |
Title | Formal methods in artificial intelligence / |
Statement of responsibility, etc. | J P Delahaye. |
Medium | Textual Documents |
260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
Place of publication, distribution, etc. | Paris : |
Name of publisher, distributor, etc. | North Oxford Academic Publishers , |
Date of publication, distribution, etc. | 1987. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | NULL ; |
Dimensions | NULL. |
653 #0 - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | Artificial intelligence |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | Book |
Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Coded location qualifier | Total Checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dept. of Computer Science | Dept. of Computer Science | Processing Center | 12/12/2019 | 00000 | 006.3 | DCS420 | 12/12/2019 | 1 | 12/12/2019 | Book |