Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
логика
Связанные издания:
Computer Science Logic: Proc./21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL. Lausanne, Switzerland, September 2007
Computer Science Logic: Proc./24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 2010
Computer Science Logic: Selected Papers/6th Workshop, CSL 92. San Miniato, Italy, September-October 1992
Computer Science Logic: Selected Papers/7th Workshop, CSL 93. Swansea, United Kingdom, September 1993
Computer Science Logic: Selected Papers/ 8th Workshop, CSL 94, Kazimierz, Poland, September 1994
Computer Science Logic: Selected Papers/8th Workshop, CSL 94 Kazimierz, Poland, September 1994
Computer Science Logic: Selected Papers/9th International Workshop,CSL 95. Annual Conference of the EACSL. Paderborn,Germany,September 1995
Computer Science - Theory and Applications: Proc./15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 2020
Computer Science - Theory and Applications: Proc./4th International Computer Science Symposium in Russia, CSR 2009. Novosibirsk, Russia, August 2009
Computer Science - Theory and Applications: Proc./First International Computer Science Symposium in Russia, CSR 2006. St.Petersburg, Russia, June 2006
Computer Science - Theory and Applications: Proc./Third International Computer Science Symposium in Russia, CSR 2008. Moscow, Russia, June 2008
Computing and Combinatorics: Proc./25th International Conference, COCOON 2019, Xi'an, China, July 2019
Computing and Comparing Semantics of Programs in Four-Valued Logics
Computing with Infinitary Logic
Conceptual Graphs and First Order Logic
Conceptual Graphs and First-Order Logic
Conceptual Structures: Broadening the Base: Proc./9th Intern. Conf. on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July-August 2001
CONCUR 2002 - Concurrency Theory: Proc./13th Intern. Conf., Brno, Czech Republic, August 2002
CONCUR 2005 - Concurrency Theory: Proc./16th International Conference, CONCUR 2005. San Francisco, CA, USA, August 2005
CONCUR 2007 - Concurrency Theory: Proc./18th International Conference. Lisbon, Portugal, September 2007
CONCUR 2008 - Concurrency Theory: Proc./19th International Conference, CONCUR 2008. Toronto, Canada, August 2008
CONCUR 2013 - Concurrency Theory: Proc./24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 2013
Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator
Concurrency Problem for Norn Fragment of Girard s Linear Logic
Concurrency, Specification, and Programming - CS&P 2004: Specification and Verification: Proc./Workshop. Caputh, September 24-26, 2004
Concurrent Constraint Programming and Non-commutative Logic
Concurrent Logic Programming as Uniform Linear Proofs
Conditional Logics and Cumulative Logics
Conditional rewriting logic as a unified model of concurrency
Conditional Rewriting Logic as a Unified Model of Concurrency
Conditionals, Information, and Inference: Revised Selected Papers/International Workshop, WCII 2002. Hagen, Germany, May 2002
Conditional Term Rewriting Systems: Proc./Third Intern. Workshop, CTRS-92. Pont-a-Mousson, France, July 1992
Conservativity Between Logics and Typed Calculi
Constrained Matching is Type Safe
Constraint Deduction in an Interval-based Temporal Logic
Constraint Oriented Temporal Logic Specification
Constraints in Computational Logics: Proc./First Intern. Conf., CCL 94. Munich, Germany, September 1994
Constraints in Computation Logics - Theory and Applications: Proc./Intern. Summer School, CCL 99, Gif-sur-Yvette, France, September 1999
Construction of Belief Sets for Logic Programs and Default Theories
Constructive Logics. Part I: A tutorial on Proof Systems and Typed -Calculi
Constructive Logics Part I: A Tutorial on Proof Systems and Typed -Calculi
Constructive Logics. Part II: Linear Logic and Proof Nets
Constructive Natural Deduction and Its " -set" Interpretation
Constructive Specifications of Abstract Data Types Using Temporal Logic
Constructivity in Computer Science: Proc./Summer Symposium. San Antonio, TX, June 1991
Contexts, Canons and Coreferent Types
Contradiction: When Avoidance Equals Removal. Part I
Control-Flow Analysis and Type Systems
Convergence and 0-1 Laws for L under Arbitrary Measures
Correctness of Generic Modules
« первая
‹ предыдущая
…
5
6
7
8
9
10
11
12
13
…
следующая ›
последняя »