Title:

Formalized Mathematics 2002 nr 2

Contributor:

Matuszewski, Roman. Ed.

Date:

2002

Uwagi:

From 1996 r. published by University of Bialystok ; From 1990 to 1993 published by Universite Catholique de Louvain, Belgia

Subject and Keywords:

Computer Mathematics ; Computer Science ; Computer assisted approach

Format:

application/pdf

Language:

eng

Rights Management:

University of Bialystok

Publisher:

University of Bialystok

Place of publishing:

Białystok

Localization:

Biblioteka Uniwersytecka im. Jerzego Giedroycia w Białymstoku