Computational Linguistics and Intelligent Text Processing (vol. # 3878)
CICLing 2006 (www.CICLing.org) was the 7th Annual Conference on Intelligent Text Processing and Computational Linguistics. ...
Continue reading
Computational Linguistics and Intelligent Text Processing : 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings
The CICLing conferences are intended to provide a wide-scope forum for the discussion of both the art and craft of natural ...
Continue reading
Computational Logic in Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
Continue reading
Computational Logic in Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
Continue reading
Computational Logic in Multi-Agent Systems (vol. # 3487)
The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, ...
Continue reading
Computational Logic in Multi-Agent Systems (vol. # 3900)
The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article ...
Continue reading
Computational Processing of the Portuguese Language : 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings
This book constitutes the thoroughly refereed proceedings of the 8th International Workshop on Computational Processing of ...
Continue reading
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue reading
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Continue reading
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Continue reading
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Continue reading
Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead
This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of ...
Continue reading
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Continue reading
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Continue reading
Computer Science Logic (vol. # 3634)
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Continue reading
Computing Meaning
This book provides an in-depth view of the current issues, problems and approaches in the computation of meaning as expressed ...
Continue reading
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python / Therese Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
Continue reading
Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java / Therese Hardin, Mathieu Jaume, François Pessaux, Veronique Viguie Donzeau-Gouge
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
Continue reading
Concepts, Frames and Cascades in Semantics, Cognition and Ontology
This book presents novel theoretical, empirical and experimental work exploring the nature of mental representations that ...
Continue reading
Conceptual Modeling - ER 2006
The International Conference on Conceptual Modeling provides the premiere - rum for presenting and discussing current research ...
Continue reading
