Widok standardowy Widok MARC

Pozycja Hasło osobowe

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

001 - CONTROL NUMBER

  • control field: 163471

003 - CONTROL NUMBER IDENTIFIER

  • control field: POZN 31

005 - DATE AND TIME OF LATEST TRANSACTION

  • control field: 20251228090730.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 2017055484

024 7# - OTHER STANDARD IDENTIFIER

  • Standard number or code: 58612496
  • Source: viaf
  • Real World Object URI: http://viaf.org/viaf/58612496#7
  • Standard number or code: 0000000055392882
  • Source: isni
  • Real World Object URI: https://isni.org/isni/0000000055392882

040 ## - CATALOGING SOURCE

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

100 1# - HEADING--PERSONAL NAME

  • Personal name: Autexier, Serge.

670 ## - SOURCE DATA FOUND

  • Source citation: Kp. Automated Discovery of Inductive Theorems / Roy McCasland, Alan Bundy, and Serge Autexier // From insight to proof : Festschrift in honour of Andrzej Trybulec / guest editors: Roman Matuszewski, Anna Zalewska. - Białystok, 2007. - S. 135-149.

670 ## - SOURCE DATA FOUND

  • Source citation: LCC online