This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...
Continue reading"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Continue readingThis book constitutes the proceedings of the 8th International Conference on Statistical Language and Speech Processing, ...
Continue readingThis book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, ...
Continue readingThis book It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore ...
Continue readingPrefaceThis volume is the collection of papers and abstracts of the Third Annual Inter-national Workshop on the Emergence ...
Continue readingCoverage in the 78 revised full papers, presented together with three invited papers, includes Bayesian networks, graphical ...
Continue readingThis book is the first to provide an integrated view of preposition from morphology to reasoning, via syntax and semantics. ...
Continue readingThis volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Continue readingThis book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Continue readingThis volume investigates the linguistic development of children with regard to their knowledge of the verb and its grammar.
Continue readingThis volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from ...
Continue readingThe Austin Protocol Compiler presents a protocol specification language called the Timed Abstract Protocol (TAP) notation. ...
Continue readingIntercultural pragmatics addresses one of the major issues of human communication in the globalized world: how do people ...
Continue readingThis volume is a collection of some of the most important philosophical papers by Peter Gärdenfors. Spanning a period of ...
Continue readingThis book have three themes have been central to Leydesdorff's research: (1) the dynamics of science, technology, and innovation; ...
Continue readingDevelopments in cognitive science indicate that human and nonhuman primates share a range of behavioral and physiological ...
Continue readingThis book constitutes the refereed proceedings of the 17th International Semantic Web Conference, ESWC 2020, held in Heraklion, ...
Continue readingThis book constitutes the refereed proceedings of the joined 6th International Semantic Web Conference, ISWC 2007, and the ...
Continue readingthis sixth annual conference demonstrates new research results, technology, and applications that show current incarnations ...
Continue reading