Приложение
для AndroidПолное описание
Fuzzy logic in artificial intelligence : FLAI'93 : 8th austrian artificial intelligence conf.Linz,June 28-30,1993.Proc. / ed. E. P. Klement, ed. W. Slany. - Berlin[etc.] : Springer, 1993. - VIII,191 p. p. : ill. - (Lecture notes in artificial intelligence ; 695). - ISBN 3-540-56920-0 : 18830 р. - Текст : непосредственный.
Библиогр.в конце статей
| ГРНТИ | УДК | |
| 28.23.17 | 004.8(062) |
Рубрики:
Искусственный интеллект -- Съезды и конференции
Доп. точки доступа:
Klement, E.P.\ed.\
Slany, W.\ed.\
Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
Свободны: ПНТ (1), (2)
Копия:
Trends in artificial intelligence : 2nd congress of the Italian association for artificial intelligence,Palermo,Oct.29-31,1991Proc. / IAAI, 1991. - XIV,479 p. p. - Текст : непосредственный.Extensions of logic programming:Third intern.workshop,ELP'92 Bologna, Feb.26-28,1992. : Proc. / сост.ed.by E. Lamma, сост.ed.by P. Mello, 1993. - 417 p. - Текст : непосредственный.Resolution methods for the decision problem / C.Ferm@:uller,A.Leitsch,T.Tammet,N.Zamov, 1993. - VIII,205 p. p. - Текст : непосредственный.Wansing H. The logic of information structures / H.Wansing, 1993. - IX,163 p. p. - Текст : непосредственный.Fuzzy logic in artificial intelligence : 8th austrian artificial intelligence conf.Linz,June 28-30,1993.Proc. / ed. E. P. Klement, ed. W. Slany, 1993. - VIII,191 p. p. - Текст : непосредственный.Wagner G. Vivig logic : Knowledge-based reasoning with two kinds of negation / G.Wagner, 1994. - XII,148 p. p. - Текст : непосредственный.Loocke P.R.van The dynamics of concepts : A connectionist model / P.R.van Loocke, 1994. - XI,340 p. p. - Текст : непосредственный.Hunt W.A.Jr FM8501: a verified microprocessor / W.A.JrHunt, 1994. - XIII,333 p. p. - Текст : непосредственный.Extensions of logic programming : 4th intern.workshop,ELP'93 St Andrews,March 29-Apr 1,1993.Proc. / WELP'93, 1994. - VIII,360 p. p. - Текст : непосредственный.Hernandez D. Qualitative representation of spatial knowledge / D.Hernandez, 1994. - IX,202 p. p. - Текст : непосредственный.Automated deduction- CADE-12 : 12th intern.conf.on automated deduction Nancy,June 26-July 1,1994.Proc. / CADE-12, 1994. - XVI,845 p. p. - Текст : непосредственный.Temporal logic : First intern.conf.,ICTL'94 Bonn,July 11-14,1994 / сост.ed D. M. Gabbay, сост.ed H. J. Ohlbach, 1994. - XI,545 p. p. - Текст : непосредственный.Trends in natural language generation:anartificial intelligence perspective : 4th European workshop,Pisa,28-30,1993:Selected papers / EWNLG'93, 1996. - IX,382 p. p. - Текст : непосредственный.Foundations of intelligent systems : 9th Intern.symp.on methodologies for intelligent systems,Zakopane,June9-13,1996:Proc. / ISMIS'96, 1996. - XI,664 p. p. - Текст : непосредственный.Distributed artificial intelligence:architecture and modelling : 1st Australian workshop on distributed artificial intelligence,Canberra,Nov.13,1995:Proc. / DAI, 1996. - 232 p. - Текст : непосредственный.Intelligent agents : Intern.joint conf.on artificial intelligence,Montreal,Aug.19-20,1996:Proc. / IJCAI;Ed.:M.Wooldridge et.al. 2 : Agent theories,architectures,and languages, 1996. - 437 p. - Текст : непосредственный.Advances in artificial intelligence : 11th biennial conf.of the Canadian soc.for computational studies of intelligence,Toronto,May 21-24,1996 / Canadian society for computational studies of intelligence (Toronto), 1996. - XII,456 p. p. - Текст : непосредственный.Automated reasoning with analytic tableaux and related methods : Intern.conf.,TABLEAUX'97,Pont-a-Mousson,France,May 13-16,1997:Proc. / Ed. D. Galmiche, 1997. - XI,373 p. p. - Текст : непосредственный.Automated deduction - CADE-14 : 14th Intern.conf.on automated deduction,Townsville,North Queensland,Australia,July 13-17,1997:Proc. / Ed. W. McCune, 1997. - XIV,462 p. p. - Текст : непосредственный.Artifical intelligence in higher education : Proc.of CEPES-UNESCO intern.symp.,Prague,Oct.23-25,1989 / Ed. V. Marik, 1990. - 247 p. - Текст : непосредственный.
Показать все результатыТулупьев А.Л. Алгебраические байесовские сети для представления и обработки знаний с неопределенностью : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. Л. Тулупьев, 1996. - 16 с. - Текст : непосредственный.Мельцов В.Ю. Потоковая система дедуктивного логического вывода : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. Ю. Мельцов, 1996. - 14 с. - Текст : непосредственный.Калинина Т.В. Абстракционные методы повышения эффективности логического вывода : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.01 / Т. В. Калинина, 2001. - 14 с. - Текст : непосредственный.Eijck D.J.N.van Reasoning about update logic / D.J.N.van Eijck,F.-J.de Vries, 1993. - 18 p. - Текст : непосредственный.Jaspars J. Partial up and down logic / J.Jaspars, 1995. - 22 p. - Текст : непосредственный.Hoek W.van der Honesty in partial logic / W.van der Hoek,J.Jaspars,E.Thijsse, 1995. - 30 p. - Текст : непосредственный.Fuzzy logic in artificial intelligence : 8th austrian artificial intelligence conf.Linz,June 28-30,1993.Proc. / ed. E. P. Klement, ed. W. Slany, 1993. - VIII,191 p. p. - Текст : непосредственный.Wagner G. Vivig logic : Knowledge-based reasoning with two kinds of negation / G.Wagner, 1994. - XII,148 p. p. - Текст : непосредственный.Automated deduction- CADE-12 : 12th intern.conf.on automated deduction Nancy,June 26-July 1,1994.Proc. / CADE-12, 1994. - XVI,845 p. p. - Текст : непосредственный.Herre H. Partial logics with two kinds of negation as a foundation for knowledge-based reasoning / H.Herre,J.O.M.Jaspars,G.Wagner, 1995. - 35 p. - Текст : непосредственный.Стрыгин В.З. Комбинаторная машина для NP-полных задач искусственного интеллекта / В.З.Стрыгин, 1996. - 10 с. - Текст : непосредственный.Automated reasoning with analytic tableaux and related methods : Intern.conf.,TABLEAUX'97,Pont-a-Mousson,France,May 13-16,1997:Proc. / Ed. D. Galmiche, 1997. - XI,373 p. p. - Текст : непосредственный.Automated deduction - CADE-14 : 14th Intern.conf.on automated deduction,Townsville,North Queensland,Australia,July 13-17,1997:Proc. / Ed. W. McCune, 1997. - XIV,462 p. p. - Текст : непосредственный.Логический подход к искусственному интеллекту. От модальной логики к логике баз данных / А.Тейз,П.Грибомон,Г.Юлен и др.;Пер.с фр.под ред.Г.П.Гаврилова, 1998. - 494 с. - Текст : непосредственный.Городецкий В.И. Байесовский вывод / В.И.Городецкий, 1991. - 38 с. - Текст : непосредственный.Артемьева И.Л. Принципы реализации недоопределенного логического вывода : Препринт / И.Л.Артемьева, 1992. - 34 с. - Текст : непосредственный.Williams J.G. Instantiation theory:on the foundations of automated deduction / J.G.Williams, 1991. - VIII,133 p. p. - Текст : непосредственный.Nonmonotonic and inductive logic : 1st intern.workshop on nonmonotonic and inductive logic,Dec.4-7,1990,Karlsruhe:Proc. / Ed. J. Dix, 1991. - X,243 p. p. - Текст : непосредственный.Eijck D.J.N.van Dynamic interpretation and Hoare deduction / D.J.N.van Eijck,F.J.de Vries, 1991. - 27 p. - Текст : непосредственный.Стрыгин В.З. Матричная логика и комбинаторные машины / В.З.Стрыгин, 1998. - 19 с. - Текст : непосредственный.
Показать все результатыProceedings of the East-west conference on artificial intelligence : From theory to practice / EWAIC-93,september 7-9,1993,Moscow,Russia, 1993. - XIY,395c. - Текст : непосредственный.Inzynieria wiedzy i systemy ekspertowe : Materialy 2 krajowej konferencji naukowej,Wroclaw,15-17 czerwca 1993 roku. T. 1, 1993. - 306 s. - Текст : непосредственный.Inzynieria wiedzy i systemy ekspertowe : Materialy 2 krajowej konferencji naukowej,Wroclaw,15-17 czerwca 1993 roku. T. 2, 1993. - IX,308-655 s. s. - Текст : непосредственный.Proceedings of the 2nd international IEEE conference on ..,Herndon(VA),Nov.6-9,1990 / TAI 90, 1990. - XXI,895 p. p. - Текст : непосредственный.Innovative applications of artificial intelligence 3 : Proc.of the IAAI-91 conf. / Ed.: R. G. Smith, A. C. Scott, 1991. - 362 p. - Текст : непосредственный.Fourth international conference on software engineering and knowledge engineering,June 15-20,1992,Capri / SEKE 92, 1992. - XI,641 p. p. - Текст : непосредственный.Proceedings of the 3d annual conference on AI,simulation and planning in high autonomy systems / AIS'92, 1992. - XI,294 p. p. - Текст : непосредственный.The 7th conference on : Proc. / Conference on artificial intelligence applications (7;1991;Miami Beach,Fl). Vol. 1 : Technical papers, 1991. - XIX,460 p. p. - Текст : непосредственный.The 7th conference on : Proc. / Conference on artificial intelligence applications (7;1991;Miami Beach,Fl). Vol. 2 : Visuals, 1991. - VIII,504 p. p. - Текст : непосредственный.Fourth international conference on tools with artificial intelligence,Nov.10-13,1992,Arlington(Va) : Proc. / TAI'92, 1992. - XVIII,475 p. p. - Текст : непосредственный.Trends in artificial intelligence : 2nd congress of the Italian association for artificial intelligence,Palermo,Oct.29-31,1991Proc. / IAAI, 1991. - XIV,479 p. p. - Текст : непосредственный.Proceedings / IEA/AIE-88. Vol. 1, 1988. - XVI,636 p. мкф. - Текст : непосредственный.Proceedings / Amer.assoc.for artifical intelligence (AAAI-91). Vol. 1., 1991. - XVIII,517 p. p. - Текст : непосредственный.Proceedings / Amer.assoc.for artifical intelligence (AAAI-91). Vol. 2., 1991. - VIII,(521-937) p. p. - Текст : непосредственный.Cellular automata and cooperative systems : Proc.of the NATO advanced study inst.on cellular automata and cooperative systems,Les Houches,June 22-July 2,1992 / ed. N. Boccara, 1993. - XVII,546 p. p. - Текст : непосредственный.Communication from an artificial intelligence perspective : Theoretical and applied issuesProc.of the NATO advanced research workshop on computational theories of communication and their applications:Problems and perspectives,held at Trento,Nov.5-9,1990 / ed. A. Ortony, 1992. - XI,269 p. p. - Текст : непосредственный.Труды. 1 : Математические и теоретические аспекты искусственного интеллекта, 1975. - 219 с. - Текст : непосредственный.Artificial intelligence and symbolic mathematical computing : Intern.conf.AISMC-1,Karlsruhe,Aug.3-6 1992.Proc. / AISMC-1, 1993. - 305 p. - Текст : непосредственный.Fuzzy logic in artificial intelligence : 8th austrian artificial intelligence conf.Linz,June 28-30,1993.Proc. / ed. E. P. Klement, ed. W. Slany, 1993. - VIII,191 p. p. - Текст : непосредственный.Sztuczna inteligencja w diagnostyce i nadzorowaniu : IV nauk. szkola nadzorowania i diaghostyki systemow obrobkowych / сост.red. J. Jedrzejewskiego, сост.red. B. Reifura, 1995. - 215 s. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽