This two-volume set of LNAI 12340 and LNAI 12341 constitutes the refereed proceedings of the 9th CCF Conference on Natural ...
اقرأ المزيدThis two-volume set of LNAI 12340 and LNAI 12341 constitutes the refereed proceedings of the 9th CCF Conference on Natural ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the First International Joint Conference on Natural Language ...
اقرأ المزيدThis book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, ...
اقرأ المزيدThe objectives of this book are to present the award papers from the 19th annual conference of JSAI 2005 and the selected ...
اقرأ المزيدThis book constitutes extended, revised and selected papers from the 11th International Symposium of Artificial Intelligence ...
اقرأ المزيدThis book constitutes the thoroughly refereed joint post-proceedings of the 17th and 18th annual conferences of the Japanese ...
اقرأ المزيدThe technology of artifcial intelligence is increasing its importance thanks to the rapid growth of the Internet and computer ...
اقرأ المزيدThis volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our ...
اقرأ المزيدThe combination of theoretically sound results and practically tested procedures and solution paths makes this book an ideal ...
اقرأ المزيدsuch as the modeling of (legal) regulatory systems and the ubiquitous nature of their usage. Weweregladto seethatin 2005undertheinspiredleadershipofDr. ...
اقرأ المزيدConstitutes the refereed proceedings of the three confederated conferences CoopIS 2005, DOA 2005, and ODBASE 2005 held as ...
اقرأ المزيدThis two-volume set LNCS 4277/4278 constitutes the refereed proceedings of 14 international workshops held as part of OTM ...
اقرأ المزيدConstitutes the proceedings of the 5 confederated international conferences on Cooperative Information Systems, Distributed ...
اقرأ المزيدThis two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 10th International Conference on Open Semantic Technologies for Intelligent ...
اقرأ المزيدThis monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
اقرأ المزيدThis book explains why cognitive linguistics offers a plausible theoretical framework for a systematic and unified analysis ...
اقرأ المزيدThis book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th ...
اقرأ المزيدThis volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...
اقرأ المزيد