Logic and machines: (Record no. 6999)

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
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Total Checkouts Barcode Date last seen Copy number Price effective from Koha item type
        Coleções de Monografias (Monographs Collections) Castorina Castorina Estantes Abertas (Open Shelves) 1999-05-24   39063000254030 2022-12-01 1 2022-12-01 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha