|
|
|
|
| LEADER |
00000naa2a2200000 4500 |
| 001 |
212577 |
| 005 |
20231031192927.0 |
| 035 |
|
|
|a (RuTPU)RU\TPU\book\232241
|
| 035 |
|
|
|a RU\TPU\book\232240
|
| 090 |
|
|
|a 212577
|
| 100 |
|
|
|a 20120328d1964 k y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 200 |
1 |
|
|a Решение логических уравнений методом итерации в исчислении предикатов первого порядка
|f А. Таутс
|
| 320 |
|
|
|a Библиогр.: с. 24 (3 назв.)
|
| 463 |
|
0 |
|0 (RuTPU)RU\TPU\book\232129
|t Исследования по теоретической физике и математике
|f Академия наук Эстонской ССР (АН ЭССР), Институт физики и астрономии
|v С. 17-24
|d 1964
|p 103 с.
|s Труды института физики и астрономии ; № 24
|
| 700 |
|
1 |
|a Таутс
|b А.
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20120328
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20120328
|g RCR
|
| 942 |
|
|
|c BK
|
