Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Term Rewriting and All That

 Автор: , Автор:
Размер книги: 2.19 Mb

Term rewriting and all that

 Автор: , Автор:
Категория: Cs_Computer science, CsAl_Algorithms
Размер книги: 2.40 Mb

Isabelle-HOL - A Proof Assistant for Higher-Order Logic

 Автор: , Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 824 Kb

Formal Logical Methods for System Security and Correctness

 Автор: , Автор: , Автор: , Автор:
Категория: Cs_Computer science, CsAl_Algorithms
Размер книги: 1.73 Mb