Widok standardowy Widok MARC

Pozycja Hasło osobowe

Liczba rekordów, w których użyto hasła: 1

001 - CONTROL NUMBER

  • control field: 163473

003 - CONTROL NUMBER IDENTIFIER

  • control field: POZN 31

005 - DATE AND TIME OF LATEST TRANSACTION

  • control field: 20251228090731.0

008 - FIXED-LENGTH DATA ELEMENTS

  • fixed length control field: 170801n||a|znnaabn |a aaa |c

010 ## - LIBRARY OF CONGRESS CONTROL NUMBER

  • LC control number: n 2017164205

024 7# - OTHER STANDARD IDENTIFIER

  • Standard number or code: 2721665
  • Source: viaf
  • Real World Object URI: http://viaf.org/viaf/2721665#7
  • Standard number or code: 0000000055199011
  • Source: isni
  • Real World Object URI: https://isni.org/isni/0000000055199011#7
  • Standard number or code: Q91233
  • Source: wikidata
  • Real World Object URI: http://www.wikidata.org/entity/Q91233

040 ## - CATALOGING SOURCE

  • Original cataloging agency: BSTOK U/DUN3EW
  • Subject heading/thesaurus conventions: kaba
  • Transcribing agency: BSTOK U/DUN3EW

046 ## - SPECIAL CODED DATES

  • Birth date: 1964

100 1# - HEADING--PERSONAL NAME

  • Personal name: Kohlhase, Michael
  • Dates associated with a name: (1964- ).

670 ## - SOURCE DATA FOUND

  • Source citation: Kp. Towards a MIZAR Mathematical Library in OMDoc Format / Grzegorz Bancerek and Michael Kohlhase // From insight to proof : Festschrift in honour of Andrzej Trybulec / guest editors: Roman Matuszewski, Anna Zalewska. - Białystok, 2007. - S. 265-275

670 ## - SOURCE DATA FOUND

  • Source citation: LCC online