Languages
de Moura, Flavio L.C.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Applied logic for computer scientists = computational deduction and formal proofs /
by:
de Moura, Flavio L.C.; SpringerLink (Online service); Ayala-Rincon, Mauricio.
(Language materials, printed)