Математическая логика и автоматическое доказательство теорем
| Үндсэн зохиолч: | |
|---|---|
| Формат: | Ном |
| Хэл сонгох: | Russian |
| Хэвлэсэн: |
М
Наука
1983
|
| Нөхцлүүд: |
| Үндсэн зохиолч: | |
|---|---|
| Формат: | Ном |
| Хэл сонгох: | Russian |
| Хэвлэсэн: |
М
Наука
1983
|
| Нөхцлүүд: |