dr Andrzej Trybulec
Publikacje
-
A. Korniłowicz, K. Kuperberg, A. Naumowicz, A. Trybulec
Formal Mathematics for Mathematicians
J. Automat. Reason. 50 (2013), no. 2, 119-121, (Foreword to the special issue).
DOI: 10.1007/s10817-012-9268-z
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do:
libmaster@math.uwb.edu.pl
.