Математическая логика в программировании: Сборник статей
- Захарьящев М. В.
- Янов Ю. И.
1 / 1 copies
Summary
Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики.
Catalogue record
32.973.2-018
Математическая логика в программировании : Сборник статей / Захарьящев М. В; Янов Ю. И. — Москва : Мир, 1991. — 408 с.
Математическая логика в программировании : Сборник статей / Захарьящев М. В; Янов Ю. И. — Москва : Мир, 1991. — 408 с.
All fields
- Publisher
- Мир
- Place of publication
- Москва
- Year published
- 1991
- Extent
- 408 с
- BBK / Call number
- 32.973.2-018
- GRNTI
- 50.05.03
- Language
- Russian
Keywords
Copies (1)
-
O'zMPU ARM 1 copy1 on the shelf
List of all copies
| Barcode | Call number | Status |
|---|---|---|
| CH0000017355 | 32.973.2-018 М 34 | Available |
Reviews and ratings
Sign in and leave a review.
No reviews yet.