Widok standardowy Widok MARC

Pozycja Hasło osobowe

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

001 - CONTROL NUMBER

  • control field: 12762

003 - CONTROL NUMBER IDENTIFIER

  • control field: POZN 31

005 - DATE AND TIME OF LATEST TRANSACTION

  • control field: 20251227172517.0

008 - FIXED-LENGTH DATA ELEMENTS

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

010 ## - LIBRARY OF CONGRESS CONTROL NUMBER

  • LC control number: n 94303943

024 7# - OTHER STANDARD IDENTIFIER

  • Standard number or code: 21368089
  • Source: viaf
  • Real World Object URI: http://viaf.org/viaf/21368089#7
  • Standard number or code: 0000000117501088
  • Source: isni
  • Real World Object URI: https://isni.org/isni/0000000117501088#7
  • Standard number or code: Q27243716
  • Source: wikidata
  • Real World Object URI: http://www.wikidata.org/entity/Q27243716

040 ## - CATALOGING SOURCE

  • Original cataloging agency: KR 93/BZ
  • Subject heading/thesaurus conventions: kaba
  • Transcribing agency: KR 93/ZP
  • Modifying agency: WA U/EJ
  • Modifying agency: WA 72/OMK

043 ## - GEOGRAPHIC AREA CODE

  • ISO code: PL

046 ## - SPECIAL CODED DATES

  • Birth date: 1956

100 1# - HEADING--PERSONAL NAME

  • Personal name: Szałas, Andrzej
  • Dates associated with a name: (1956- ).

368 ## - OTHER ATTRIBUTES OF PERSON OR CORPORATE BODY

  • Type of corporate body: Uniwersytety i uczelnie techniczne.

370 ## - ASSOCIATED PLACE

  • Associated country: Polska.
  • Authority record control number or standard number: http://nukat.edu.pl/aut/s 94110000
  • Source of term: kaba

370 ## - ASSOCIATED PLACE

  • Place of residence/headquarters: Warszawa (Polska).
  • Authority record control number or standard number: http://nukat.edu.pl/aut/s 94114898
  • Source of term: kaba

372 ## - FIELD OF ACTIVITY

  • Field of activity: Informatyka.
  • Authority record control number or standard number: http://nukat.edu.pl/aut/s 94310118
  • Source of term: kaba

372 ## - FIELD OF ACTIVITY

  • Field of activity: Matematyka.
  • Authority record control number or standard number: http://nukat.edu.pl/aut/s 94013666
  • Source of term: kaba

372 ## - FIELD OF ACTIVITY

  • Field of activity: Inżynieria oprogramowania.
  • Authority record control number or standard number: http://nukat.edu.pl/aut/s 96010566
  • Source of term: kaba

372 ## - FIELD OF ACTIVITY

  • Field of activity: Gry komputerowe.
  • Authority record control number or standard number: http://nukat.edu.pl/aut/s 96013516
  • Source of term: kaba

372 ## - FIELD OF ACTIVITY

  • Field of activity: Sztuczna inteligencja.
  • Authority record control number or standard number: http://nukat.edu.pl/aut/s 94013549
  • Source of term: kaba

372 ## - FIELD OF ACTIVITY

  • Field of activity: Bazy danych.
  • Authority record control number or standard number: http://nukat.edu.pl/aut/s 94013558
  • Source of term: kaba

373 ## - ASSOCIATED GROUP

  • Associated group: Uniwersytet Warszawski.
  • Authority record control number or standard number: http://nukat.edu.pl/aut/n 93081332#
  • Associated group: Politechnika Warszawska.
  • Authority record control number or standard number: http://nukat.edu.pl/aut/n 94300020

374 ## - OCCUPATION

  • Occupation: Informatycy.
  • Authority record control number or standard number: http://nukat.edu.pl/aut/s 97055158
  • Source of term: kaba

374 ## - OCCUPATION

  • Occupation: Matematycy.
  • Authority record control number or standard number: http://nukat.edu.pl/aut/s 94013667
  • Source of term: kaba

375 ## - GENDER

  • Gender: 1
  • Source of term: iso5218

377 ## - ASSOCIATED LANGUAGE

  • Language code: pol
  • Language code: eng

400 1# - SEE FROM TRACING--PERSONAL NAME

  • Personal name: Szałas, A.

670 ## - SOURCE DATA FOUND

  • Source citation: Kp. Zarys dedukcyjnych metod automatycznego wnioskowania / Andrzej Szałas. - Warszawa, 1993.

670 ## - SOURCE DATA FOUND

  • Source citation: Kp. Time and logic / ed. by Leonard Bolc & Andrzej Szałas. - London, 1995.
  • Information found: CIP LC (Szałas, Andrzej (1956- )

670 ## - SOURCE DATA FOUND

  • Source citation: pl.wikipedia, 16.01.2020
  • Information found: (Andrzej Piotr Szałas, ur. 4 października 1956, polski matematyk i informatyk,profesor nauk matematycznych. Specjalizacja: matematyczne podstawy informatyki, logika w sztucznej inteligencji, bazy danych, metodyi techniki programowania, profesor zwyczajny Instytutu Informatyki Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)

670 ## - SOURCE DATA FOUND

  • Source citation: Kp. Rozwój aplikacji logik temporalnych w zastosowaniach informatycznych / Marek Adamek. - Warszawa, 2019.
  • Information found: Recenzent

675 ## - SOURCE DATA NOT FOUND

  • Source citation: INP 93
  • Source citation: KjK 3