Справка
STUDENT'S CONSULTANT
Электронная библиотека технического вуза
Все издания
Login/Registration
Во весь экран / Свернуть
ru
Accessibility
General Catalogue
Все издания
Menu
Искать в книге
К результату поиска
Advanced search
Bookmarks
Homepage
Login/Registration
Во весь экран / Свернуть
ru
Управление
My reports
General Catalogue
Издательства
УГС
Мои списки
Download app
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
Оборот титула
Table of contents
Предисловие
Введение
1. Современное состояние верификации поведения интеллектуальных агентов
+
2. Формулировка типичных условий верификации спецификаций поведения агентов
+
3. Прототипирование верификации поведения агентов
-
3.1. Обнаружение тупиковых состояний
3.2. Обнаружение недопустимых взаимодействий
3.3. Обнаружение невыполнимых взаимодействий
3.4. Прототипирование проверки наличия статических смертельных объятий
doc/ISBN9785703855904-SCN0004/012.htmlc/ISBN9785703855904-SCN0004/012.htmlISBN9785703855904-SCN0004/012.html04-SCN0004/012.html-SCN0004/012.htmlCN0004/012.html004/012.html4/012.html012.html-sect-a bdepth-a2ect-a bdepth-a2t-a bdepth-a2a bdepth-a2bdepth-a2epth-a2a2я статических смертельных объятий статических смертельных объятийтатических смертельных объятийических смертельных объятийческих смертельных объятийеских смертельных объятийртельных объятийтельных объятийельных объятийй
Close Menu
nav>
Close Menu
v>
Close Menu
Close Menu
utton type="button" class="close-button" id="close-button">Close Menu
ton type="button" class="close-button" id="close-button">Close Menu
n type="button" class="close-button" id="close-button">Close Menu
errors_ok" class="plus-cont">
rors_ok" class="plus-cont">
rs_ok" class="plus-cont">
_ok" class="plus-cont">
class="plus-cont">
lass="plus-cont">
="plus-cont">
plus-cont">
us-cont">
"wrap-ssp">rap-ssp">p-ssp">p">>div class="wrap-err">v class="wrap-err">class="wrap-err">"wrap-err">rap-err">p-err">nt_doc">
Раздел
_doc">
Раздел
oc">
Раздел
">
Раздел
Раздел
Раздел
div class="test-block1">
Раздел
Раздел
Раздел
Раздел
Раздел
div class="col-md-9 col-sm-9 col-xs-12 right-column text-part-reader">
Раздел
class="col-md-9 col-sm-9 col-xs-12 right-column text-part-reader">
Раздел
ass="col-md-9 col-sm-9 col-xs-12 right-column text-part-reader">
Раздел
"col-md-9 col-sm-9 col-xs-12 right-column text-part-reader">
Раздел
ol-md-9 col-sm-9 col-xs-12 right-column text-part-reader">
Раздел
-md-9 col-sm-9 col-xs-12 right-column text-part-reader">
Раздел
ass="wrap-quantity-title">
Раздел
s="wrap-quantity-title">
Раздел
"wrap-quantity-title">
Раздел
p-quantity-title">
Раздел
quantity-title">
Раздел
antity-title">
Раздел
ntity-title">
Раздел
ity-title">
Раздел
y-title">
Раздел
e">
Раздел
>
Раздел
Раздел
Раздел
Раздел
Раздел
div class="shown-pages">
Раздел
v class="shown-pages">
Раздел
ss="shown-pages">
Раздел
="shown-pages">
Раздел
="wrap-pages-reader">
Страница
wrap-pages-reader">
Страница
ap-pages-reader">
Страница
-pages-reader">
Страница
s-reader">
Страница
reader">
Страница
ader">
Страница
n class="cur-num">class="cur-num">ass="cur-num">s="cur-num">ur-num">-num">">Прототипирование верификации поведения агентоврототипирование верификации поведения агентовототипирование верификации поведения агентовотипирование верификации поведения агентовтипирование верификации поведения агентовипирование верификации поведения агентовации поведения агентовции поведения агентовии поведения агентововедения агентовведения агентоведения агентов
/div> iv>
iv id='mm4-doc-content-film'> id='mm4-doc-content-film'> mm4-doc-content-film'> 4-doc-content-film'> doc-content-film'> nation-links-top">
tion-links-top">
on-links-top">
-links-top">
ks-top">
-top">
">
pagination-book circle animated-effect">
gination-book circle animated-effect">
nation-book circle animated-effect">
on-book circle animated-effect">
-book circle animated-effect">
ook circle animated-effect">
class="wrap-book-mode"> lass="wrap-book-mode"> ss="wrap-book-mode"> ap-book-mode"> -book-mode"> ook-mode"> ://prior.studentlibrary.ru/en/doc/ISBN9785703855904-SCN0004/-esf2k2z11-tabrel-mode-pgs.html/prior.studentlibrary.ru/en/doc/ISBN9785703855904-SCN0004/-esf2k2z11-tabrel-mode-pgs.htmlrior.studentlibrary.ru/en/doc/ISBN9785703855904-SCN0004/-esf2k2z11-tabrel-mode-pgs.htmlor.studentlibrary.ru/en/doc/ISBN9785703855904-SCN0004/-esf2k2z11-tabrel-mode-pgs.html.studentlibrary.ru/en/doc/ISBN9785703855904-SCN0004/-esf2k2z11-tabrel-mode-pgs.htmltudentlibrary.ru/en/doc/ISBN9785703855904-SCN0004/-esf2k2z11-tabrel-mode-pgs.htmldentlibrary.ru/en/doc/ISBN9785703855904-SCN0004/-esf2k2z11-tabrel-mode-pgs.htmlf2k2z11-tabrel-mode-pgs.htmlk2z11-tabrel-mode-pgs.html-tabrel-mode-pgs.htmlabrel-mode-pgs.htmlrel-mode-pgs.htmlmode-pgs.htmlde-pgs.htmlgs.html.htmltmlbook_mode.pngok_mode.png_mode.pnge.pngpnggежим постраничного просмотраежим постраничного просмотражим постраничного просмотраим постраничного просмотрам постраничного просмотра постраничного просмотрастраничного просмотратраничного просмотра"Режим постраничного просмотраим постраничного просмотрам постраничного просмотра постраничного просмотраостраничного просмотрастраничного просмотрараничного просмотрааничного просмотраничного просмотраass="delimiter"> /
s="delimiter"> /
"delimiter"> /
imiter"> /
iter"> /
er"> /
r"> /
> /
/
v>
iv class="wrap-landing-mode"> class="wrap-landing-mode"> lass="wrap-landing-mode"> "wrap-landing-mode"> rap-landing-mode"> s://prior.studentlibrary.ru/patrns/book_read/landing_mode_gr.png//prior.studentlibrary.ru/patrns/book_read/landing_mode_gr.pngprior.studentlibrary.ru/patrns/book_read/landing_mode_gr.pngior.studentlibrary.ru/patrns/book_read/landing_mode_gr.pngtudentlibrary.ru/patrns/book_read/landing_mode_gr.pngdentlibrary.ru/patrns/book_read/landing_mode_gr.pngntlibrary.ru/patrns/book_read/landing_mode_gr.pngle>
ol-sm-7 col-xs-7 va-m">
-sm-7 col-xs-7 va-m">
7 col-xs-7 va-m">
col-xs-7 va-m">
l-xs-7 va-m">
tion-book circle animated-effect">
on-book circle animated-effect">
-book circle animated-effect">
circle animated-effect">
rcle animated-effect">
le animated-effect">
="arrow-to-start"> arrow-to-start"> row-to-start"> w-to-start"> to-start"> -start"> tart"> rary.ru/en/doc/ISBN9785703855904-SCN0000.htmlry.ru/en/doc/ISBN9785703855904-SCN0000.html.ru/en/doc/ISBN9785703855904-SCN0000.htmlu/en/doc/ISBN9785703855904-SCN0000.htmldoc/ISBN9785703855904-SCN0000.htmlc/ISBN9785703855904-SCN0000.htmlISBN9785703855904-SCN0000.htmlbrary.ru/patrns/book_read/to_start_book.pngary.ru/patrns/book_read/to_start_book.pngy.ru/patrns/book_read/to_start_book.pngru/patrns/book_read/to_start_book.pngatrns/book_read/to_start_book.pngrns/book_read/to_start_book.pngbook_read/to_start_book.pngok_read/to_start_book.png_read/to_start_book.pngуitlele
chapter"> apter"> ter"> r"> > ущую главущую главую главу главулавуавуву">
pann>ry.ru/patrns/book_read/to_previous_page_gr.png.ru/patrns/book_read/to_previous_page_gr.pngu/patrns/book_read/to_previous_page_gr.pngt=itleleright-tab"> ght-tab"> t-tab"> b"> > n>
Для продолжения работы требуется
Регистрация
Каталог
Издательства
УГС
Мои списки
Скачать приложение
100% GR. Как лоббируют бизнес-проекты: практическое пособие по взаимодействию с органами государственной власти
Оглавление
Глава 1. Лоббизм - высшая форма маркетинга
+
Глава 2. Почему у хороших компаний бывает плохой GR?
+
Глава 3. Лоббист на службе общества
-
Яркий свет - лучший полицейский
Английский клуб
Евростандарт
Москва - Париж
Бразилия - зеркальная Россия
Закон о лоббизме - русская редакция
Библиография