Theorem-proving systems / Ewa Orłowska
Сохранено в:
| Вид документа: | |
|---|---|
| Автор: | Orłowska, Ewa |
| Опубликовано: | Warszawa : Państwowe Wydawnictwo Naukowe , 1973 |
| Физические характеристики: |
55 с. ; 24 см
|
| Язык: | Английский |
| Серия: |
Dissertationes mathematicae
103 |
| 00000cam2a22000003ij4500 | |||
| 001 | BY-NLB-br0001208185 | ||
| 005 | 20150709140143.0 | ||
| 100 | # | # | $a 20150709d1973 |||y0bely50 ba |
| 101 | 0 | # | $a eng |
| 102 | # | # | $a PL |
| 105 | # | # | $a y ||||000yy |
| 200 | 1 | # | $a Theorem-proving systems $f Ewa Orłowska $g Polska Akademia Nauk, Instytut Matematyczny |
| 210 | # | # | $a Warszawa $c Państwowe Wydawnictwo Naukowe $d 1973 |
| 215 | # | # | $a 55 с. $d 24 см |
| 225 | 2 | # | $a Dissertationes mathematicae $e (rozprawy matematyczne) $v 103 |
| 320 | # | # | $a Бібліяграфія: с. 48―51 (79 назваў) |
| 461 | # | 1 | $1 001BY-NLB-br283526 $1 2001 $v 1973,т.103 |
| 700 | # | 1 | $a Orłowska $b Ewa |
| 801 | # | 0 | $a BY $b BY-HM0000 $c 20150707 $g psbo |