Widok standardowy Widok MARC

Apt, Krzysztof R. (1949- ). (Hasło osobowe)

Liczba rekordów, w których użyto hasła: 1
Forma preferowana: Apt, Krzysztof R. (1949- ).
Forma odrzucona:
  • Apt, K. R.
  • Apt, Krzysztof Rafał.
  • Apt, Krzysztof.

Kp. From logic programming to Prolog / Krzysztof R. Apt. - London, 1997.

Kp. The logic programming paradigm / K. R. Apt [et al.] (eds.). - Berlin, 1999.

LCN'1996

Semantics of the infinitistic rules of proof / Krzysztof Rafał Apt. - Warsaw, 1974.

Poprawność i pełność programów w języku logiki, podejście deklaratywne / Mirosława Miłkowska. - Warszawa, 2005. Recenzja

pl. wikipedia, 20.02.2024 https://pl.wikipedia.org/wiki/Krzysztof_Apt