Logic and Machines decision problems and complexity /ed. by E. Borger, G. Hasenjaeger and D. Rodding (Record no. 65251)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00604nam a2200193Ia 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 3540133313 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511 |
| Item number | N84;1 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Symposium on "Rekursive Kombinatorik" (Westfalen |
| -- | 1983) |
| 110 ## - MAIN ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Borger, E., ed. |
| 245 ## - TITLE STATEMENT | |
| Title | Logic and Machines decision problems and complexity /ed. by E. Borger, G. Hasenjaeger and D. Rodding |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Berlin |
| Name of publisher, distributor, etc. | Springer-Verlag |
| Date of publication, distribution, etc. | 1984 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | vi, 456p. |
| 490 ## - SERIES STATEMENT | |
| Series statement | Lecture notes in computer science, 171. |
| 690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| Topical term or geographic name as entry element | Machine theory ; Computational complexity ; Decision-making ; Lecture Notes in computer science, 171 |
| 710 ## - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Hasenjaeger, G., ed. |
| 710 ## - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Rodding, D., ed. |
| 919 ## - | |
| -- | 067565 |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Date acquired | Total Checkouts | Full call number | Barcode | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|
| JRD Tata Memorial Library | JRD Tata Memorial Library | 08/08/1997 | 511 N84;1 | 120094 | Reference |
