Вы здесь

Главная

Москва

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

Intuitionistic Logic with Classical Atoms
IX международная конференция-выставка "Информационные технологии в образовании" ИТ '99: Сборник трудов, Часть III, Москва, 9-12 ноября 1999 г.
IX международная конференция-выставка "Информационные технологии в образовании" ИТ '99: Сборник трудов, Часть II, Москва, 9-12 ноября 1999 г.
IX международная конференция-выставка "Информационные технологии в образовании" ИТ '99: Сборник трудов, Часть I,: Программа мероприятий, Москва, 9-12 ноября 1999 г.
KITTY: управляемый правилами генератор преобразователей деревьев
KITTY: Управляемый правилами генератор преобразователей деревьев
Kolmogorov and Godel s approach to intuitionistic logic: current developments
La communaute internationale des sourds. L education et les nouvelles technologies
Le Multimedia Educatif en France
Les nouvelles technologies de l information et de la communication dans l Education nationale en France
Linux для начинаю их
Logic of Proofs
Logic of Proofs and provability
Logoc of knowledge with jastifications
Magic Sets vs. SLD-Resolution
Main Working Document
MetaPRL - A Modular Logic Environment
Models for logic of proofs
Model-Theoretical and Deductive Approaches to Databases from the Point of View of Algebraic Logic
Moscow Computer Science School 2004 "Математика и программирование: от теории к практике"
MS-DOS 4.01
Naive Computational Type Theory
New Paradigm of Education in Networked Information Environment: Learning from the Internet-contributing to the Internet
Object Oriented Markup Language and Restructuring Hierarchical Database Objects
Object-Oriented Solutions
On Explicit Reflection in Theorem Proving and Formal Verification
On First Order Logic of Proofs
On the Complexity of Explicit Modal Logics
On the Complexity of the Reflected Logic of Proofs
On the Role of Formal Techniques in Open Distributed Processing
Operational modal logic
Operations on proofs thet can be specified by means of modal logic
PACO`2006: Selected Papers/Third International Conference on Parallel Computations and Control Problems in the Memory of I.V.Prangishvili. Moscow, October 2-4, 2006
PolarDB - система создания специализированых NoSQL баз данных и СУБД
Prototyping a Categorical Database in P/FDM
Provability logics with quantifiers on proofs
PSI 14: Труды Рабочего семинара "Наукоемкое программное обеспечение" Ершовской конференции по информатике, Санкт-Петербург, Россия, июнь 2014
Quelles technologies pour l education? Les Nouvelles Technologies Educatives a l heure du deploiement
Reflective Lambda-calculus
Relaxation of Correctness in Database Systems
Remote Memory Paging in Networks of Workstations
Report: UNESCO s main Activities in the Field of Education and Informatics after the Ferst International Congress on Educattion and Informatics
Sequential Abstract State Machines Capture Sequential Algorithms
SICAD: обзор семейства геоинформационных систем фирмы Siemens Nixdorf
SoFTool-91. СОФТУЛ-91. Каталог организаций и программных средств, экспонируемых на выставке. Москва, ВДНХ СССР, 29 октября- 2 ноября 1991 г.
Spatial Joins and R-trees
Specialization and Generalization in an Object Oriented Database
Stating Quality in Dynamic Information Systems
Strategies for the Development of Education and Informatics. Thailand Country Report
Tableaux for the Logic of Proofs