TY  - BOOK
AU  - Коваль, В.
ED  - Науч. Ин-т им. В. М. Глушкова
TI  - Концепторные языки: Доказательное проектирование 
SN  - 5120005543
PY  - 2001///
CY  - Москва
KW  - ალბათობის თეორია
KW  - მათემატიკა
ER  -