| 000 | 01890nam a2200433 i 4500 | ||
|---|---|---|---|
| 001 | vtls000233043 | ||
| 003 | RU-ToGU | ||
| 005 | 20210922122121.0 | ||
| 008 | 070710s2006 ru a f b 000 0 rus d | ||
| 020 | _a5895130496 | ||
| 035 | _ato000233043 | ||
| 040 |
_aRU-ToGU _brus _cRU-ToGU |
||
| 080 | _a004.832.3:004.89 | ||
| 100 | 1 |
_aПопов, С. В. _9120163 |
|
| 245 | 1 | 0 |
_aЛогическое моделирование _cС. В. Попов |
| 260 |
_aМосква _bТровант _c2006 |
||
| 300 |
_a256 с. _bил. |
||
| 504 | _aБиблиогр.: с. 254-255 | ||
| 653 | _aлогическое моделирование | ||
| 653 | _aпредметные области, моделирование | ||
| 653 | _aлогическое исчисление | ||
| 653 | _aлогический формализм | ||
| 653 | _aкомбинаторные задачи | ||
| 653 | _aлогическая семантика | ||
| 653 | _aлогический синтаксис | ||
| 653 | _aпрограммирование логическое | ||
| 653 | _aпрограммирование операторное | ||
| 653 | _aточки неподвижные | ||
| 653 | _aстратегии поиска решений | ||
| 653 | _aмножественность решений задач | ||
| 653 | _aлогики модальные | ||
| 653 | _aПокос, программа | ||
| 653 | _aсистемы принятия решений | ||
| 653 | _aязык управления решением | ||
| 653 | _aлогическое кодирование | ||
| 653 | _aискусственный интеллект | ||
| 852 | 4 |
_aRU-ToGU _h004.8 _iП58 _nru |
|
| 999 | _c506813 | ||