Static Analysis
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...
Lire la suite
Static Analysis (vol. # 3672)
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Lire la suite
Statistical Language and Speech Processing
This book constitutes the proceedings of the 8th International Conference on Statistical Language and Speech Processing, ...
Lire la suite
String Processing and Information Retrieval
This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, ...
Lire la suite
Supercomputing Frontiers
This book It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore ...
Lire la suite
Symbol Grounding and Beyond
PrefaceThis volume is the collection of papers and abstracts of the Third Annual Inter-national Workshop on the Emergence ...
Lire la suite
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Coverage in the 78 revised full papers, presented together with three invited papers, includes Bayesian networks, graphical ...
Lire la suite
Syntax and Semantics of Prepositions
This book is the first to provide an integrated view of preposition from morphology to reasoning, via syntax and semantics. ...
Lire la suite
Term Rewriting and Applications (vol. # 3467)
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Lire la suite
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lire la suite
The Acquisition of Verbs and their Grammar: The Effect of Particular Languages
This volume investigates the linguistic development of children with regard to their knowledge of the verb and its grammar.
Lire la suite
The Age of Alternative Logics
This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from ...
Lire la suite
The Austin Protocol Compiler
The Austin Protocol Compiler presents a protocol specification language called the Timed Abstract Protocol (TAP) notation. ...
Lire la suite
The Cambridge Handbook of Intercultural Pragmatics / Istvan Kecskes
Intercultural pragmatics addresses one of the major issues of human communication in the globalized world: how do people ...
Lire la suite
The Dynamics of Thought
This volume is a collection of some of the most important philosophical papers by Peter Gärdenfors. Spanning a period of ...
Lire la suite
The Evolutionary Dynamics of Discursive Knowledge Communication-Theoretical Perspectives on an Empirical Philosophy of Science
This book have three themes have been central to Leydesdorff's research: (1) the dynamics of science, technology, and innovation; ...
Lire la suite
The Origins of Language
Developments in cognitive science indicate that human and nonhuman primates share a range of behavioral and physiological ...
Lire la suite
The Semantic Web
This book constitutes the refereed proceedings of the 17th International Semantic Web Conference, ESWC 2020, held in Heraklion, ...
Lire la suite
The Semantic Web
This book constitutes the refereed proceedings of the joined 6th International Semantic Web Conference, ISWC 2007, and the ...
Lire la suite
The Semantic Web - ISWC 2006
this sixth annual conference demonstrates new research results, technology, and applications that show current incarnations ...
Lire la suite
