Полное описание
>
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.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4371). - URL: http://dx.doi.org/10.1007/978-3-540-69619-3. - ISBN 978-3-540-69619-3.
| ГРНТИ | УДК | |
| 20.23.29 | 004.853(063) |
Рубрики:
Интеллектуальные агенты -- Съезды и конференции
Доп. точки доступа:
Inoue, K.\ed.\
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/978-3-540-69619-3
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.
Показать все результатыБиблиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : Крым 94 : программа конференции, 23-28 мая 1994 г., г. Евпатория, Республика Крым, Украина, 1994. - 63 с. - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : 2-я Международная конференция "Крым-95", г. Евпатория, Республика Крым, Украина, 10-18 июня 1995 г. : материалы конференции : [в 2-х томах]. Т. 1, 1995. - 264 с. (Введено оглавление). - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : 2-я Международная конференция "Крым-95", г. Евпатория, Республика Крым, Украина, 10-18 июня 1995 г. : материалы конференции : [в 2-х томах]. Т. 2, 1995. - 251 с. (Введено оглавление). - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : труды конференции, 23-28 мая 1994 г., г. Евпатория, Республика Крым, Украина : материалы конференции / Государственная публичная научно-техническая библиотека России, Министерство культуры Украины [и др.], 1994. - 206 c. - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : Крым 96 : программа конференции, Форос, Ялта, Автономная республика Крым, Украина 1-9 июня 1996 г., 1996. - 104 c. - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : 3-я Международная конференция "Крым 96", Форос, Ялта, Автономная Республика Крым, Украина, 1-9 июня 1996 г. : материалы конференции : [в 2-х томах]. Т. 1, 1996. - 251 с. (Введено оглавление). - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : 3-я Международная конференция "Крым 96", Форос, Ялта, Автономная Республика Крым, Украина, 1-9 июня 1996 г. : материалы конференции : [в 2-х томах]. Т. 2, 1996. - 336 с. (Введено оглавление). - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : Крым 97 : программа конференции, Судак, Автономная Республика Крым, Украина, 7-15 июня 1997, 1997. - 117 с. - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : Крым 97 : список участников, Судак, Автономная Республика Крым, Украина, 7-15 июня 1997, 1997. - 59 с. - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : 4-я Международная конференция "Крым 97", Судак, Автономная Республика Крым, Украина, 7-15 июня 1997 : материалы конференции : [в 2-х томах]. Т. 1, 1997. - 319 с. (Введено оглавление). - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : 4-я Международная конференция "Крым 97", Судак, Автономная Республика Крым, Украина, 7-15 июня 1997 : материалы конференции : [в 2-х томах]. Т. 2, 1997. - С. 316-659 (Введено оглавление). - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : 5-я Юбилейная Международная конференция "Крым 98", Судак, Автономная Республика Крым, Украина, 6-14 июня 1998 : труды конференции : [в 2-х томах]. Т. 1, 1998. - 383 с. (Введено оглавление). - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : 5-я Юбилейная Международная конференция "Крым 98", Судак, Автономная Республика Крым, Украина, 6-14 июня 1998 : труды конференции : [в 2-х томах]. Т. 2, 1998. - С. 391-789 (Введено оглавление). - Текст : непосредственный.OCLC Newsletter : Вестник OCLC:Избр.публ."OCLC Newsletter" 1996 N 2, 1998. - 43 с. - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : Шестая Международная конференция "Крым 99", Судак (основная программа), Симферополь, Феодосия, Старый Крым, Коктебель (выездные заседания), Автономная Республика Крым, Украина, 5-13 июня 1999 : материалы конференции : [в 2-х томах]. Т. 1, 1999. - 361 с. (Введено оглавление). - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : список участников шестой Международной конференции "Крым 99", Судак, Автономная Республика Крым, Украина, 5-13 июня 1999, 1999. - 46 с. - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : программа шестой Международной конференции "Крым 99", Судак, Автономная Республика Крым, Украина, 5-13 июня 1999, 1999. - 128 с. - Текст : непосредственный.Вестник OCLC : избранные публикации "OCLC Newsletter" / руководитель работ: Я. Л. Шрайберг ; редактор: Е. М. Зайцева ; переводчик Т. О. Коновалова. 1996N 2, 1998. - 43 с. - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : тема 2000 года: Библиотеки, издательства, книгораспространение и образование в едином информационном и социокультурном пространстве : Седьмая Международная конференция "Крым 2000", Судак (основная программа), Ялта, Алушта, Феодосия, Симферополь, Коктебель, Старый Крым (выездные заседания), Автономная Республика Крым, Украина, 3-11 июня 2000 : труды конференции : [в 2-х томах]. Т. 1, 2000. - 510 с. (Введено оглавление). - Текст : непосредственный.Библиотеки и ассоциации в меняющемся мире: новые технологии и новые формы сотрудничества : тема 2000 года: Библиотеки, издательства, книгораспространение и образование в едином информационном и социокультурном пространстве : Седьмая Международная конференция "Крым 2000", Судак (основная программа), Ялта, Алушта, Феодосия, Симферополь, Коктебель, Старый Крым (выездные заседания), Автономная Республика Крым, Украина, 3-11 июня 2000 : труды конференции : [в 2-х томах]. Т. 2, 2000. - 486 с. (Введено оглавление). - Текст : непосредственный.
Показать все результатыEvolution and learning in multiagent systems : Papers presentd in the symp.Stanford(Ca),25-27 Mar.1996 / Ed. S. Sen, 1998. - 141 p. - Текст : непосредственный.Agent systems, mobile agents, and applications : Second Intern. symp. on agent systems a. applications a. fourth Intern. symp. on mobile agents, ASA/MA 2000, Zurich, Switzerland, Sept.13-15, 2000Proc. / ASA 2000, 2000. - XII,274 p. p. - Текст : непосредственный.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.Environments for multi-agent systems III : third International workshop, E4MAS 2006, Hakodate, Japan, May 8, 2006: selected revised and invited papers / ed. D. Weyns [et al.], 2007 r=on-line.Agent and multi-agent systems: technologies and applications : first KES International symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31– June 1, 2007: proceedings / ed. N. Nguyen [et al.], 2007 r=on-line.Autonomous intelligent systems: multi-agents and data mining : second International workshop, AIS-ADM 2007, St. Petersburg, Russia, June 3-5, 2007: proceedings / ed. V. Gorodetsky [et al.], 2007 r=on-line.Argumentation in multi-agent systems : third International workshop, ArgMAS 2006 Hakodate, Japan, May 8, 2006: revised selected and invited papers / ed. N. Maudet [et al.], 2007 r=on-line.Agents and peer-to-peer computing : 5th International workshop, AP2PC 2006, Hakodate, Japan, May 9, 2006: revised and invited papers / ed. S. Joseph [et al.], 2008 r=on-line.Languages, methodologies and development tools for multi-agent systems : first International workshop, LADS 2007, Durham, UK, September 4-6, 2007: revised selected papers / ed. M. Dastani [et al.], 2008 r=on-line.Massively multi-agent technology : AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, Hi, USA, May 15, 2007: selected and revised papers / ed. N. J. Jamali [et al.], 2008 r=on-line.Intelligent virtual agents : 8th International conference, IVA 2008, Tokyo, Japan, September 1-3, 2008: proceedings / ed. H. Prendinger [et al.], 2008 r=on-line.Computational logic in multi-agent systems : 8th International workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007: revised selected and invited papers / ed.: F. Sadri, K. Satoh, 2008 r=on-line.Intelligent agents and multi-agent systems : 11th Pacific rim international conference on multi-agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008: proceedings / ed. T. Bui [et al.], 2008 r=on-line.Trust in agent societies : 11th International workshop, TRUST 2008, Estoril, Portugal, May 12 -13, 2008: revised selected and invited papers / ed. R. Falcone [et al.], 2008 r=on-line.Declarative agent languages and technologies VI : 6th International workshop, DALT 2008, Estoril, Portugal, May 12, 2008: revised selected and invited papers / ed. M. Baldoni [et al.], 2009 r=on-line.Cooperative information agents XII : 12th International workshop, CIA 2008, Prague, Czech Republic, September 10-12, 2008: proceedings / ed.: M. Klusch [et al.], 2008 r=on-line.Engineering societies in the agents world VIII : 8th International workshop, ESAW 2007, Athens, Greece, October 22-24, 2007: revised selected papers / ed. A. Artikis [et al.], 2008 r=on-line.Multiagent system technologies : 6th german conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008: proceedings / ed. R. Bergmann [et al.], 2008 r=on-line.Argumentation in multi-agent systems : fifth international workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008: revised selected and invited papers / eds. I. Rahwan, P. Moraitis, 2009 r=on-line.Argumentation in multi-agent systems : 1st Intern. workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004: rev. sel. and invited papers / ed. I. Rahwan [et al.], 2005 r=on-line.
Показать все результатыПросмотр издания