Widok standardowy Widok MARC

Hájek, Petr (1940-2016). (Hasło osobowe)

Liczba rekordów, w których użyto hasła: 2
Forma preferowana: Hájek, Petr (1940-2016).
Forma odrzucona:
  • Gaek, P.
  • Hájek, P.

Matematyk czeski.

KjKvČR 94/95

Kp. Metoda GUHA / Petr Hájek, Tomáš Hávranek, Metoděj K. Chytil. - Praha, 1983.

Kp. Avtomatičeskoe obrazovanie gipotez / P. Gaek, T. Gavranek. - Moskva, 1984.

Mechanizing hypothesis formation / P. Hájek, T. Hávránek. - Berlin, 1978.

NKP online

en.wikipedia, 30.12.2016 https://en.wikipedia.org/wiki/Petr_H%C3%A1jek