|
|
|
02174cz a2200445n 4500 |
|
001 |
|
|
vtls000103923 |
|
003 |
|
|
NUKAT |
|
005 |
|
|
20240223001546.0 |
|
008 |
|
|
980530n||a|nnnabbn |a aaa |c |
|
010 |
|
|
$a n 98005011 |
|
024 |
7 |
|
$a http://nukat.edu.pl/aut/n 98005011 $2 uri |
|
024 |
7 |
|
$a http://viaf.org/viaf/27150160 $2 uri |
|
024 |
7 |
|
$a http://isni.org/isni/0000000108819561 $2 uri |
|
024 |
7 |
|
$a https://www.wikidata.org/wiki/Q26693942 $2 uri |
|
039 |
|
9 |
$a 202402230015 $b VLOAD $c 202402222243 $d VLOAD $c 202402220017 $d VLOAD $c 202402211012 $d fmkk $y 200205311219 $z load |
|
040 |
|
|
$a WA U/BWYDZ $c WA U/EJ $d WA U/KMR $d Ł U/AK $d WA U/94ANK |
|
043 |
|
|
$c PL |
|
046 |
|
|
$f 1949 |
|
100 |
1 |
|
$a Apt, Krzysztof R. $d (1949- ). |
|
370 |
|
|
$a Katowice (Polska). $0 http://nukat.edu.pl/aut/s 94110012 $2 kaba |
|
370 |
|
|
$c Polska. $0 http://nukat.edu.pl/aut/s 94110000 $2 kaba |
|
372 |
|
|
$a Informatyka. $0 http://nukat.edu.pl/aut/s 94310118 $2 kaba |
|
372 |
|
|
$a Matematyka. $0 http://nukat.edu.pl/aut/s 94013666 $2 kaba |
|
372 |
|
|
$a Programowanie logiczne. $0 http://nukat.edu.pl/aut/s 95012307 $2 kaba |
|
372 |
|
|
$a Teoria gier. $0 http://nukat.edu.pl/aut/s 96011238 $2 kaba |
|
374 |
|
|
$a Informatycy. $0 http://nukat.edu.pl/aut/s 97055158 $2 kaba |
|
374 |
|
|
$a Matematycy. $0 http://nukat.edu.pl/aut/s 94013667 $2 kaba |
|
375 |
|
|
$a 1 $2 iso5218 |
|
377 |
|
|
$a pol $a eng |
|
400 |
1 |
|
$a Apt, K. R. |
|
400 |
1 |
|
$a Apt, Krzysztof Rafał. |
|
400 |
1 |
|
$a Apt, Krzysztof. |
|
670 |
|
|
$a Kp. From logic programming to Prolog / Krzysztof R. Apt. - London, 1997. |
|
670 |
|
|
$a Kp. The logic programming paradigm / K. R. Apt [et al.] (eds.). - Berlin, 1999. |
|
670 |
|
|
$a LCN'1996 |
|
670 |
|
|
$a Semantics of the infinitistic rules of proof / Krzysztof Rafał Apt. - Warsaw, 1974. |
|
670 |
|
|
$a Poprawność i pełność programów w języku logiki, podejście deklaratywne / Mirosława Miłkowska. - Warszawa, 2005. $b Recenzja |
|
670 |
|
|
$a pl. wikipedia, 20.02.2024 $u https://pl.wikipedia.org/wiki/Krzysztof_Apt |
|
999 |
|
|
$a VIRTUA40 x |
|
999 |
|
|
$a VTLSSORT0010*0080*0100*0240*0241*0242*0243*0400*0430*0460*1000*3700*3701*3720*3721*3722*3723*3740*3741*3750*3770*4000*4001*4002*6700*6701*6703*6704*6702*6705*9992 |
|