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

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

#1

Logique : méthodes pour l'intelligence artificielle volume 3

Paul Gochet; Pascal Gribomont; Andre Thayse

3.67 Mb

#2

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

Snyers, Thayse.

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

1.08 Mb

#3

P-Functions and Boolean Matrix Factorization: A Unified Approach

Thayse A.

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

1.95 Mb

#4

Boolean calculus of differences

A. Thayse

Категория: Mathematics, Algebra, Abstract algebra

1.06 Mb

#5

Логический подход к искусственному интеллекту: От модальной логики к логике баз данных (Пер. с франц.)

Тейз А., Грибомон П., Юлен Г., и др. [Thayse]

Категория: Cs_Computer science, CsAi_AI, knowledge

4.04 Mb

#6

Synthesis and Optimization of Programs by Means of P-Functions

Категория: Математика Статья

3.86 Mb

#7

P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms (Lecture Notes in Computer Science) (v. 175)

A. Thayse

7.31 Mb