"Yves Bertot" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

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

#1

Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions

Yves Bertot, Pierre Castéran, Pierre CastTran, G. Huet, C. Paulin-Mohring

1.85 Mb

#2

Theorem Proving in Higher Order Logics, 12 conf., TPHOLs'99

Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery

Категория: Cs_Computer science, CsLn_Lecture notes

3.53 Mb

#3

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin

4.04 Mb

#4

Interactive Theorem Proving and Program Development

Yves / CastTran, Pierre / Huet, Gerard (FRW) / Paulin-Mohring, Christine (FRW) Bertot

Категория: AI, knowledge

3.17 Mb