Filter
Sökt på: Böcker av Robert S. Boyer
Filter
totalt 3 träffar
The Conceptual Mind
pocket,
2015,
Engelska,
ISBN 9780262536677
New essays by leading philosophers and cognitive scientists that present recent findings and theoretical developments in the study of concepts. The study of concepts has advanced …
Från
691 kr
Computational Logic
E-bok,
2014,
Engelska,
ISBN 9781483277882
ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalities, and …
Computational Logic Handbook
E-bok,
2014,
Engelska,
ISBN 9781483277783
Perspectives in Computing: A Computational Logic Handbook contains a precise description of the logic and a detailed reference guide to the associated mechanical theorem proving …