Metadata language
Title:
Formalized Mathematics 1990 nr 3
Contributor:
Date:
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:
Language:
Rights Management:
Publisher:
Place of publishing:
Localization:
Biblioteka Uniwersytecka im. Jerzego Giedroycia w Białymstoku