Tytuł:
Formalized Mathematics 1996 nr 2
Współtwórca:
Data wydania:
Uwagi:
From 1996 r. published by University of Bialystok ; From 1990 to 1993 published by Universite Catholique de Louvain, Belgia
Temat i słowa kluczowe:
Computer Mathematics ; Computer Science ; Computer assisted approach
Format:
Język:
Prawa:
Wydawca:
Miejsce wydania:
Lokalizacja oryginału:
Biblioteka Uniwersytecka im. Jerzego Giedroycia w Białymstoku