Filter
Sökt på: Böcker av Flávio L. C. de Moura
Filter
totalt 2 träffar
Applied Logic for Computer Scientists
häftad,
2017,
Engelska,
ISBN 9783319516516
This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical …
Applied Logic for Computer Scientists
E-bok,
2017,
Engelska,
ISBN 9783319516530
This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical …