Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
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 …