Вы здесь

Главная

теория моделей

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

Abstract State Machines, Alloy, B and Z: Proc./2nd International Conference, ABZ 2010, Orford,QC,Canada, February 2010
Automated Deduction - CADE 26: Proc./26th International Conference on AD, Gothenburg, Sweden, August 2017
Compactness Properties of Nonmonotonic Inference Operations
Definability in the Homomorphic Quasiorder of Finite Labeled Forests
Foundations of Information and Knowledge Systems: Proc./6th International Symposium, FolKS 2010, Sofia, Bulgaria, February 2010
Logic and Its Applications: Proc./8th Indian Conference, ICLA 2019, Delhi, India, March 2019
Logic, Language, Information and Computation: Proc./19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, Septeber 2012
Quantum Interaction: Revised Selected Papers/6th International Symposium, QI 2012, Paris, France, June 2012
Solving Queries by Tree Projections
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./10th European Conference, ECSQARU 2009, Verona, Italy, July 2009
Testclasses and Closed World Assumptions for Non-Horn Theories