Normal view MARC view

Entry Personal Name

Number of records used in: 1

000 - LEADER

  • fixed length control field: 00597nz 2200133n 4500

000 - LEADER

  • fixed length control field: 1

001 - CONTROL NUMBER

  • control field: 46519

003 - CONTROL NUMBER IDENTIFIER

  • control field: P5A

005 - DATE AND TIME OF LATEST TRANSACTION

  • control field: 20221101142018.0

008 - FIXED-LENGTH DATA ELEMENTS

  • fixed length control field: 800811n| acannaab| |a aaa |||||

010 ## - LIBRARY OF CONGRESS CONTROL NUMBER

  • LC control number: n 80082908

035 ## - SYSTEM CONTROL NUMBER

  • System control number: oca00464165

040 ## - CATALOGING SOURCE

  • Original cataloging agency: DLC
  • Transcribing agency: DLC

100 1# - HEADING--PERSONAL NAME

  • Personal name: Bibel, W.,
  • Dates associated with a name: 1938-

670 ## - SOURCE DATA FOUND

  • Source citation: Conference on Automated Deduction, 5th, Les Arcs, France, 1980.
  • Information found: 5th Conference on Aut. Ded., Les Arcs, France, 1980, c1980 (a.e.) t.p. (W. Bibel) verso of t.p., etc. (Wolfgang Bibel, Inst. fÌur Inf. Tech. Univ. MÌunchen, Germany; b. 10/28/38)

670 ## - SOURCE DATA FOUND

  • Source citation: His Automated theorem proving, 1982:
  • Information found: t.p. (Wolfgang Bibel)
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha