Tytuł:

Formalized Mathematics 2002 nr 1

Współtwórca:

Matuszewski, Roman. Ed.

Data wydania:

2002

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:

application/pdf

Język:

eng

Prawa:

University of Bialystok

Wydawca:

University of Bialystok

Miejsce wydania:

Białystok

Lokalizacja oryginału:

Biblioteka Uniwersytecka im. Jerzego Giedroycia w Białymstoku