Barès, Michel.

Overview

Works:	0 works in 0 publications in 0 languages

Titles

Relational Calculus for Actionable Knowledge by: SpringerLink (Online service); Barès, Michel.; Bossé, Éloi. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Subjects

Artificial intelligence—Data processing. Coding and Information Theory. Coding theory. Data Science. Epistemology. Expert systems (Computer science). Information theory. Knowledge Based Systems. Knowledge, Theory of. Proof theory. Proof Theory and Constructive Mathematics.