From insight to proof : Festschrift in honour of Andrzej Trybulec
Współtwórca:Matuszewski, Roman. Red. ; Zalewska, Anna ( -2008). Red.
Data wydania: Uwagi: Temat i słowa kluczowe:Trybulec, Andrzej ; Język programowania - matematyka ; Języki programowania logicznego ; Matematyka - informatyka
Powiązania:Studies in Logic. Grammar and Rethoric 10 (23)
Format: Opis: Typ zasobu: Język: Prawa: Wydawca: Miejsce wydania: Lokalizacja oryginału:Biblioteka Uniwersytecka im. Jerzego Giedroycia w Białymstoku