Вы здесь

Главная

формальное доказательство

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

Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/10th International Workshop, CLIMA X, Hamburg, Germany, September 2009
Engineering Trustworthy Software Systems: Tutorial Lectures/3rd International School, SETSS 2017, Chongqing, China, April 2017
Engineering Trustworthy Software Systems: Tutorial Lectures/5th International School, SETSS 2019, Chongqing, China, April 2019
Hardware and Software: Verification and Testing: Revised Selected Papers/5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 2009
Intelligent Computer Mathematics: Proc./International Conference, CICM 2015, Washington,DC,USA, July 2015
Knowledge Processing and Data Analysis: Revised Selected Papers/1st Int Conf, KONT 2007, Novosibirsk, Russia, September 2007 and 1st Int Conf, KPP 2007, Darmstadt, Germany, September 2007
Knowledge Science, Engineering and Management: Proc./3nd International Conference, KSEM 2009, Vienna, Austria, November 2009
Knowledge Science, Engineering and Management: Proc./8th International Conference, KSEM 2015, Chongqing, China, October 2015
Types for Proofs and Programs: Revised Selected Papers/ International Conference, TYPES 2008, Toronto, Italy, March 2008