2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Logique : méthodes pour l'intelligence artificielle volume 3
Автор:
Paul Gochet; Pascal Gribomont; Andre Thayse
Размер книги: 3.67 Mb
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
P-Functions and Boolean Matrix Factorization: A Unified Approach
Автор:
Thayse A.
Категория:
Cs_Computer science
,
CsLn_Lecture notes
,
0-999
Размер книги: 1.95 Mb
Boolean calculus of differences
Автор:
A. Thayse
Категория:
Mathematics
,
Algebra
,
Abstract algebra
Размер книги: 1.06 Mb
Логический подход к искусственному интеллекту: От модальной логики к логике баз данных (Пер. с франц.)
Автор:
Тейз А.
, Автор:
Грибомон П.
, Автор:
Юлен Г.
, Автор:
и др. [Thayse]
Категория:
Cs_Computer science
,
CsAi_AI
,
knowledge
Размер книги: 4.04 Mb
Synthesis and Optimization of Programs by Means of P-Functions
Автор:
Andre Thayse
Категория:
Математика Статья
Размер книги: 3.86 Mb
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