TY - GEN A1 - Niederliński, Antoni PB - Wydawnictwo Pracowni Komputerowej Jacka Skalmierskiego L1 - http://www.sbc.org.pl/Content/88111/PDF/PWLZO_zab.pdf L2 - http://www.sbc.org.pl/Content/88111 KW - programowanie KW - logika T1 - Programowanie w logice z ograniczeniami: łagodne wprowadzenie dla platformy ECLIPSe UR - http://www.sbc.org.pl/dlibra/publication/edition/88111 ER -