Логический подход к искусственному интеллекту : От модальной логики к логике баз данных /А. Тейз, П. Грибомон, Г. Юлен и др. ; Пер. с фр. Г. П. Гаврилова; Под ред. Г. П. Гаврилова

Публикация
М. : Мир , 1998
Физическое описание
494 с.: ил.
Другой Автор
Тейз, Андре.
Грибомон, Паскаль.
Юлен, Ги.
Паралельное заглавие
Approche logique de l'intelligence artificielle
Всего оценка: 0
Место хранения Расст.шифр Части Штрих-код Класс экземпляра Примечание Код коллекции Статус  
Читальный зал №4
Ю41 Л694
13820000031674
Выдается в читальный зал
Доступно
Читальный зал №5
510 Л694
13820000021290
Выдается в читальный зал
Доступно
 
 
 
02439nam  2200577   4500
001
 
 
vtls000032076
003
 
 
RU-ToGU
005
 
 
20051105223600.0
008
 
 
980729 1998    ru            00| | rus 
020
$a 5030025197
035
$a 0034-05160
039
9
$y 200511052236 $z VLOAD
040
$a RU-ToGU $b rus $c RU-ToGU $e PSBO
041
1
$a rus $h fre
080
$a 510.6
080
$a 519.76
084
$a Ю4 $2 rubbk
245
1
0
$a Логический подход к искусственному интеллекту $b От модальной логики к логике баз данных $c А. Тейз, П. Грибомон, Г. Юлен и др. ; Пер. с фр. Г. П. Гаврилова; Под ред. Г. П. Гаврилова
246
1
1
$a Approche logique de l'intelligence artificielle $b De la logique modale a la logique des bases de donnees
260
$a М. $b Мир $c 1998
300
$a 494 с. $b ил.
504
$a Библиогр.: с.471-486
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 запросы.
653
$a дедуктивная база данных.
653
$a неполная информация.
653
$a логическое программирование.
653
$a аксиоматический подход.
653
$a семантический подход.
653
$a логические языки.
700
1
$a Тейз, Андре.
700
1
$a Грибомон, Паскаль.
700
1
$a Юлен, Ги.
852
4
$a RU-ToGU $h 510 $i Л694 $n ru
998
1
$a VTLSFF1000 981201    0000
Нет комментариев.