From insight to proof : Festschrift in honour of Andrzej Trybulec
Contributor:Matuszewski, Roman. Red. ; Zalewska, Anna ( -2008). Red.
Date: Uwagi: Subject and Keywords:Trybulec, Andrzej ; Język programowania - matematyka ; Języki programowania logicznego ; Matematyka - informatyka
Relation:Studies in Logic. Grammar and Rethoric 10 (23)
Format: Description: Resource Type: Language: Rights Management: Publisher: Place of publishing: Localization:Biblioteka Uniwersytecka im. Jerzego Giedroycia w Białymstoku