Приложение
для AndroidПолное описание
Logic, rationality, and interaction : second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009: proceedings . - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5834). - URL: http://dx.doi.org/10.1007/978-3-642-04893-7. - ISBN 978-3-642-04893-7. - Текст : электронный.
| ГРНТИ | УДК | |
| 28.23 | 004.8(062) | |
| 28.29.05 | 519.83(062) | |
| 16.41 | 801(062) | |
| 02.21.41 | 16(062) | |
| 02.01.13 | 1(062) | |
| 29.01.07 | 165(062) |
Кл.слова (ненормированные): логика -- рациональность -- взаимодействие -- конференции
Доп. точки доступа:
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-04893-7
Methods of programming : Selected papers of the CIP-project / сост.ed. M. Broy, сост.ed. M. Wirsing, 1991. - XII,268 p. p. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 1 : Conference contributions, 1991. - 698 p. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 2 : Tutorials, 1991. - 430 p. - Текст : непосредственный.Proceedings,Oct.1991,Milan / ESEC'91, 1991. - XII,515 p. p. - Текст : непосредственный.Computational geometry-methods,algorithms and applications : Proc.of the 7th intern.workshop on computational geometry,Bern,March 21-22,1991 / CG'91, 1991. - VIII,320 p. p. - Текст : непосредственный.Grahne G. The problem of incomplete information in relational databases / G.Grahne, 1991. - VIII,149 p. p. - Текст : непосредственный.New results and new trends in computer science : Proc.of a symp.,held in Graz,June 20-21,1991 / ed. H. Maurer, 1991. - VIII,403 p. p. - Текст : непосредственный.Jacquet J.-M. Conclog:A methodological approach to concurrent logic programming / J.-M.Jacquet, 1991. - XII,781 p. p. - Текст : непосредственный.ISA'91 algorithms : 2nd intern.symp.on algorithms,Taipei,Dec.16-18,1991:Proc. / Ed.: W. L. Hsu, R. C.T. Lee, 1991. - X,396 p. p. - Текст : непосредственный.Hooman J. Specification and compositional verification of real-time systems / J.Hooman, 1991. - VIII,235 p. p. - Текст : непосредственный.Butler G. Fundamental algorithms for permutation groups / G.Butler, 1991. - XII,238 p. p. - Текст : непосредственный.Herman I. The use of projective geometry in computer graphics / I.Herman, 1992. - 146 p. - Текст : непосредственный.Graph-theoretic concepts in computer science : 17th intern.workshop on graph-theoretic concepts in computer science,Fischbachau,June 17-19,1991Proc. / WG'91, 1992. - VIII,253 p. p. - Текст : непосредственный.Formal techniques in real-time and fault-tolerant systems : 2nd intern.symp.on formal techniques in real-time and fault-tolerant systems,Jan.1992,NijmegenProc. / Ed. J. Vytopil, 1991. - IX,620 p. p. - Текст : непосредственный.Word equations and related topics : 1st intern.workshop on word equations and related topics,Tubingen,Oct.1990Proc. / IWWERT'90, 1992. - 256 p. - Текст : непосредственный.Parallel architectures and languages Europe : 4th intern.PARLE conf.,Paris,June 1992Proc. / PARLE'92, 1992. - XVII,984 p. p. - Текст : непосредственный.Recent trends in data type specification:8th workshop on specification of abstract data types with 3rd COMPASS workshop,Dourdan Aug.26-30,1991 : Selected papers / сост.ed.by M. Bidoit, сост.ed.by C. Choppy, 1993. - 344 p. - Текст : непосредственный.Conditional term rewriting systems:Third intern.workshop,CTRS-92 Pont-a-Mousson,July 8-10,1992 : Proc. / сост.ed.by M. Rusinowitch, сост.ed.by J. L. Remy, 1993. - 501 p. - Текст : непосредственный.Breu R. Algebraic specification techniques in object oriented programming environments / R.Breu, 1991. - 228 p. - Текст : непосредственный.Cheese A. Parallel execution of Parlog / A.Cheese, 1992. - 184 p. - Текст : непосредственный.
Показать все результатыKnapp A. Advanced real analysis : along with a companion volume basic real analysis / A. Knapp, C. Epstein, S. Krantz, 2005 r=on-line.Decreusefond L. Mathematiques informatique physique : au fil des TIPе / L. Decreusefond, A. Maruani, 2005 r=on-lineTrue visions : the emergence of ambient intelligence / ed.: E. Aarts, J. Encarnação, 2006 r=on-line.Bielefeld B. Building projects in China : a manual for architects and engineers / B. Bielefeld, L. P. Rusch, 2006 r=on-line.Horst W. Het herstel van het gewone leven : een handreiking aan alledaagse opvoeders (ouders, onderwijsgevenden, groepsleiding, gezinsverzorgster) in problematische opvoedingssituaties / W. Horst, 2006 r=on-line. - Текст : электронный.Advances in cryptology - CRYPTO - 86 : proceedings / ed. A. M. Odlyzko, 2006 r=on-line.ECOOP - 87 european conference on object-oriented programming : Paris, France, June 15-17, 1987: proceedings / ed. J. Bezivin [et al.], 1987 r=on-line. - Текст : электронный.Prodan R. Grid computing : experiment management, tool integration, and scientific workflows / R. Prodan, T. Fahringer, 2007 r=on-line.Distributed, high-performance and grid computing in computational biology : international Workshop, GCCB 2006, Eilat, Israel, Jan. 21, 2007: proceedings / SpringerLink (Online service), 2007 r=on-line.Engineering self-organising systems : 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006: revised and invited papers / ed. S. Brueckner [et al.], 2007 r=on-line.Evolutionary computation in combinatorial optimization : 7th European conf., EvoCOP 2007, Valencia, Spain, Apr. 11-13, 2007: proceedings / ed.: C. Cotta, J. Hemert, 2007 r=on-line.Systems biology and regulatory genomics : joint Annual RECOMB 2005 satellite workshops on systems biology and on regulatory genomics, San Diego, Ca, USA, Dec. 2-4, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line.Languages and compilers for parallel computing : 18th International workshop, LCPC 2005, Hawthorne, NY, USA, Oct. 20-22, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line.Ada 2005 reference manual. Language and standard libraries : international Standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / SpringerLink (Online service), 2006 r=on-line.Complex motion : 1st International workshop, IWCM 2004, Gunzburg, Germany, Oct. 12-14, 2004: revised papers / ed. B. Jahne [et al.], 2006 r=on-line.Models in software engineering : workshops and symposia at MoDELS 2006, Genoa, Italy, Oct. 1-6, 2006: reports and revised selected papers / ed. T. Kuhne, 2007 r=on-line.Interactive systems. design, specification, and verification : 13th International workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006: revised papers / ed.: G. Doherty, A. Blandford, 2007 r=on-line.Multimodal technologies for perception of humans : first International evaluation workshop on classification of events, activities and relationships, CLEAR 2006, Southampton, UK, Apr. 6-7, 2006: revised selected papers / SpringerLink (Online service), 2007 r=on-line.Computational logic in multi-agent systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006: revised selected and ivited papers / ed. K. Inoue [et al.], 2007 r=on-line.New frontiers in artificial intelligence : JSAI 2006 conference and workshops, Tokyo, Japan, June 5-9 2006:revised selected papers / ed. T. Washio [et al.], 2007 r=on-line.
Показать все результатыРаспознавание рукописных знаков японской слоговой азбуки Катаканы с помощью методов синтаксического анализа / ВЦП. - 18 с. - Текст : непосредственный.Поиск минимального значения с помощью многопереходной нейронной сети / ВЦП. - 26 с. - Текст : непосредственный.Применение принципа машинного обучения при решении проблемы задания параметров для осуществления неразрушающего контроля / ВЦП. - 18 c. - Текст : непосредственный.Результаты прогноза 1985 года по компьютерному зрению в Дельфи / ВЦП. - 47 c. - Текст : непосредственный.Пацан А. Средства представления и обработки знаний в объективно-ориентированных экспертных системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.18.11 / А. Пацан, 1991. - 21 с. - Текст : непосредственный.Сардалишвили Т.Р. Разработка многокритериальных моделей принятия решений и методов параллельных вычислений для представления знаний в экспертных системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / Т. Р. Сардалишвили, 1991. - 20 с. - Текст : непосредственный.Клейменов А.Ф. Неантагонистические позиционные дифференциальные игры : Автореферат диссертации на соискание ученой степени д-ра физико-мат.наук:01.01.02 / А. Ф. Клейменов, 1991. - 42 с. - Текст : непосредственный.Рогов В.Н. Разработка методов и средств распознавания цвета на основе многокомпонентных моделей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.11.16 / В. Н. Рогов, 1990. - 19 с. - Текст : непосредственный.Дудкин А.К. Исследование и разработка методов и алгоритмов идентификации объектов изображения в системах машинного зрения : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / А. К. Дудкин, 1991. - 16 с. - Текст : непосредственный.Ковалева Г.Е. Применение функционального подхода к реализации систем представления знаний : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.09 / Г. Е. Ковалева, 1991. - 11 . - Текст : непосредственный.Ибрагимов Г.И. Оптимальное преследование в некоторых дифференциальных играх : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.02 / Г. И. Ибрагимов, 1991. - 15 с. - Текст : непосредственный.Рачковский Д.А. Разработка и исследование многоуровневых ансамблевых сетей нейроподобных элементов : Автореферат диссертации на соискание ученой степени канд.техн.наук:15.13.09 / Д. А. Рачковский, 1990. - 17 с. - Текст : непосредственный.Полянский П.В. Пространственно-частотная структура и фильтрующие свойства голограммы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.04.05 / П. В. Полянский, 1991. - 16 с. - Текст : непосредственный.Жожикашвили А.В. Теоретико-категорный язык для задач представления знаний и обучения посредством обобщения : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.17 / А. В. Жожикашвили, 1991. - 18 с. - Текст : непосредственный.Бычков И.В. Сетевая система представления и обработки знаний для решения задач на ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. В. Бычков, 1991. - 17 с. - Текст : непосредственный.Зу Гван Хви.Задачи убегания в дифференциально-разностных играх : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / Зу Гван Хви, 1990. - 13 с. - Текст : непосредственный.Галаванова Е.И. Преобразование изображения в оптических системах с ЖК ПВМС в режиме нелинейного взаимодействия в нем оптических сигналов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.04.05 / Е. И. Галаванова, 1991. - 17 с. - Текст : непосредственный.Дадешидзе В.В. Распознавание образов и анализ сцен с использованием корреляционной функции инвариантного описания изображений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.04.05 / В. В. Дадешидзе, 1991. - 19 с. - Текст : непосредственный.Терехина А.Ю. Разработка методов многомерного шкалирования для представления структуры знаний : Автореферат диссертации на соискание ученой степени д-ра техн.наук:01.01.11 / А. Ю. Терехина, 1991. - 36 с. - Текст : непосредственный.Шклярский В.И. Вопросы управления электронно-лучевой трубкой в автоматизированных системах обработки фотоизображений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / В. И. Шклярский, 1991. - 20 с. - Текст : непосредственный.
Показать все результаты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. - Текст : непосредственный.Роль философии в формировании научно-технической элиты : Материалы междунар. симпозиума (Тверь, 28 февраля - 1 марта 1994 г.) / Тверской гос. технический ун-т, 1994. - 51 c. - Текст : непосредственный.Труды. 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. - Текст : непосредственный.
Показать все результатыПросмотр издания