Knowledge in action : logical foundations for specifying and implementing dynamical systems / (Record no. 7663)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00518 a2200157 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20230607143314.0 |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | Q387 |
| Item number | Rei. |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Reiter, Raymond. |
| 245 ## - TITLE STATEMENT | |
| Title | Knowledge in action : logical foundations for specifying and implementing dynamical systems / |
| Statement of responsibility, etc. | Raymond Reiter. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | MIT Press |
| Date of publication, distribution, etc. | 2001. |
| 501 ## - WITH NOTE | |
| With note | 12447 |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Knowledge representation (Information theory). |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Expert systems(Computer science). |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Logic, Symbolic and mathematical. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Open Book Shelf |
| -- | Q387 Rei. |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date received | Full call number | Barcode | Date last transaction | Date last checked out | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Lost / Damaged | ELM LIBRARY (ELM) | ELM LIBRARY (ELM) | New Materials Shelf | 20.08.2007 | Q387 Rei. | Q002653 | 02.12.2024 | 07.06.2023 | Open Book Shelf | |||||
| ELM LIBRARY (ELM) | ELM LIBRARY (ELM) | New Materials Shelf | 20.08.2007 | Q387 Rei. | Q002654 | 02.12.2024 | 07.06.2023 | Open Book Shelf |