Вы здесь

Главная

вычислительная логика

Связанные издания:

Algebra and Coalgebra in Computer Science: Proc./4th International Conference, CALCO 2011, Winchester, UK, August/September 2011
Automated Deduction - CADE-22: Proc./22nd International Conference, Montreal, Canada, August 2009
Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/10th International Workshop, CLIMA X, Hamburg, Germany, September 2009
Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/ 9th International Workshop, CLIMA IX. Dresden, Germany, September 2008
Computer Aided Verification: Proc./21st International Conference, CAV 2009, Grenoble, France, June/Jule 2009
Interactive Storytelling: Proc./2nd Joint International Conference on Interactive Digital Storytelling, ICIDS 2009, Guimaraes, Portugal, December 2009
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./20th International Conference, LPAR-20 2015, Suva, Fiji, November 2015
Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
Mathematical Software - ICMS 2018: Proc./6th International Conference, South Bend,IN,USA, July 2018
New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 2008
New Frontiers in Artificial Intelligence: Revised Selected Papers/ JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 2009
Rainbow of Computer Science: Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
Recent Advances in Constraints: Revised Selected Papers/14th Annual ERCIM International Workshop, CSCLP 2009, Barcelona, Spain, June 2009
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday