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

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

#1

Logica a informatica

Andrea Asperti, Agata Ciabattoni

Категория: Математика, Математическая логика

909 Kb

#2

Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra

Категория: Компьютеры

4.38 Mb

#3

Algebraic and Proof-theoretic Aspects of Non-classical Logics

S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra

Категория: CsLn_

2.88 Mb