From insight to proof : Festschrift in honour of Andrzej Trybulec - Matuszewski, Roman. Red.; Zalewska, Anna ( -2008). Red. (Uniwersytet w Białymstoku)
Keywords: Trybulec, Andrzej; Język programowania - matematyka; Języki programowania logicznego; Matematyka - informatyka