Вы здесь

Главная

решающее устройство

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

Applied Parallel and Scientific Computing: Revised Selected Papers/11th International Conference, PARA 2012, Helsinki, Finland, June 2012
Computer Aided Verification: Proc./26th International Conference, CAV 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Italy, July 2014
Declarative Programming and Knowledge Management: Revised Selected Papers/ Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 2013
Logic Programming and Nonmonotonic Reasoning: Proc./14th International Conference, LPNMR 2017, Espoo, Finland, July 2017
Principles and Practice of Constraint Programming: Proc./20th International Conference, CP 2014, Lyon, France, September 2014
Verification, Model Checking, and Abstract Interpretation: Proc./17th International Conference, VMCAI 2016, St.Petersburg,FL,USA, January 2016