Вы здесь

Главная

ai logics

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

Automated Deduction - CADE-23: Proc./23rd International Conference on AD, Wroclaw, Poland, July/August 2011
Automated Deduction - CADE-24: Proc./24th International Conference on AD, Lake Placid,NY,USA, June 2012
Language and Automata Theory and Applications: Proc./5th International Conference, LATA 2011, Tarragona, Spain, May 2011
Logic, Language, and Computation: Revised Selected Papers/8th International Tbilisi Symposium, TbLLC 2009, Bakuriani, Georjia, September 2009
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2010 Workshops LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 2010