This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. ...
اقرأ المزيدEsterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution ...
اقرأ المزيدCompleteness is one of the most important notions in logic and the foundations of mathematics. Many variants of the notion ...
اقرأ المزيدBy highlighting relations between experimental and theoretical work, this volume explores new ways of addressing one of the ...
اقرأ المزيدThis book introduces a general framework that allows natural language researchers to enhance existing competence theories ...
اقرأ المزيدThis volume constitutes the refereed proceedings of the 12th International Conference on Computational Collective Intelligence, ...
اقرأ المزيدThis book cover all current issues in computational linguistics research and present intelligent text processing applications. ...
اقرأ المزيدThis book cover all current issues in computational linguistics research and present intelligent text processing applications. ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 6th International Conference on Computational Linguistics and Intelligent ...
اقرأ المزيدCICLing 2006 (www.CICLing.org) was the 7th Annual Conference on Intelligent Text Processing and Computational Linguistics. ...
اقرأ المزيدThe CICLing conferences are intended to provide a wide-scope forum for the discussion of both the art and craft of natural ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
اقرأ المزيدThe notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, ...
اقرأ المزيدThe book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article ...
اقرأ المزيدThis book constitutes the thoroughly refereed proceedings of the 8th International Workshop on Computational Processing of ...
اقرأ المزيدThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
اقرأ المزيدThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
اقرأ المزيدThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
اقرأ المزيدThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
اقرأ المزيد