MARC details
000 -LEADER |
fixed length control field |
02054n a2200361#a 4500 |
001 - CONTROL NUMBER |
control field |
5939 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
P5A |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20240404163335.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
840418s1984 gw a b 100 0 eng |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
84005546 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
0387133313 (U.S. : pbk.) |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
ocm10754176 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
Record 11723 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
DLC |
Transcribing agency |
DLC |
049 ## - LOCAL HOLDINGS (OCLC) |
Holding library |
P5AA |
082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
511 |
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES |
IMPA CODE FOR CLASSIFICATION SHELVES |
Coleções de Monografias. |
111 2# - MAIN ENTRY--MEETING NAME |
Meeting name or jurisdiction name as entry element |
Symposium "Rekursive Kombinatorik" |
Date of meeting or treaty signing |
(1983 : |
Location of meeting |
Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen). |
245 10 - TITLE STATEMENT |
Title |
Logic and machines: |
Remainder of title |
decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der UniversitÌat Münster/Westfalen/ |
Statement of responsibility, etc. |
edited by E. Börger, G. Hasenjaeger, and D. Rödding. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Berlin ; |
-- |
New York: |
Name of publisher, distributor, etc. |
Springer-Verlag, |
Date of publication, distribution, etc. |
1984. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
vi, 456 p.: |
Other physical details |
ill.; |
Dimensions |
25 cm. |
490 #0 - SERIES STATEMENT |
Series statement |
Lecture notes in computer science, |
Volume/sequential designation |
171. |
-- |
44234 |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc. note |
Includes bibliographies. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Machine theory- |
General subdivision |
Congresses. |
9 (RLIN) |
28987 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computational complexity- |
General subdivision |
Congresses. |
9 (RLIN) |
26735 |
650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Decision-making- |
General subdivision |
Congresses. |
9 (RLIN) |
27652 |
697 ## - LOCAL SUBJECT |
Local Subject |
Coleções de Monografias. |
Linkage |
23736 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Borger, E. |
Fuller form of name |
(Egon), |
Dates associated with a name |
1946- |
9 (RLIN) |
40857 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Hasenjaeger, G. |
Fuller form of name |
(Gisbert), |
Dates associated with a name |
1919- |
9 (RLIN) |
40855 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Rödding, D. |
Fuller form of name |
(Dieter), |
Dates associated with a name |
1937- |
9 (RLIN) |
40856 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
Instituto de Matemática Pura e Aplicada |
Koha item type |
Books |