| 000 | 01488nam0a2200337 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\bibl\40402 | ||
| 005 | 20260409074752.0 | ||
| 021 |
_aRU _b99-19537 _9952 |
||
| 035 | _a(NLR Aleph) 000039404 | ||
| 090 |
_a204829 _c204829 |
||
| 100 | _a19990728d1998 u y0rusy50 ca | ||
| 101 | 0 |
_arus _deng |
|
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 200 | 1 |
_aСистема Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств _dSystem Butsephalas: defining proof-search strategies and combining deductive procedures _fА.Е.Рязанов _zeng |
|
| 210 |
_aНовосибирск _cИСИ _d1998 |
||
| 215 |
_a42 с. _d20 |
||
| 225 | 1 |
_aПрепринт _fРос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П.Ершова _v50 |
|
| 300 | _aАвт. также на англ.яз.: A.E.Ryazanov | ||
| 300 | _aРез. на англ.яз. | ||
| 320 | _aБиблиогр.: с.42 | ||
| 510 | 0 |
_aSystem Butsephalas: defining proof-search strategies and combining deductive procedures _zeng |
|
| 606 |
_aПрограммы (компьют.) _xВерификация _3RU\NLR\auth\661327565 _92209898 |
||
| 686 | _aЗ973.2-018-07 | ||
| 700 | 1 |
_aРязанов _bА. Е. _4070 |
|
| 801 | 0 |
_aRU _bNLR _c19990728 _gPSBO |
|
| 801 | 1 |
_aRU _bNLR _c19990728 |
|
| 852 |
_aNLR _j99-4/5532 |
||
| 942 | _cBOOK | ||
| 980 | _aNB | ||