Bücher nach ISBN > Springer > Flavio L. C. de Moura

Flavio L. C. de Moura

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs978-3-319-51651-6
(3-319-51651-5)		2017Mauricio Ayala-Rincon

C.D. · "F.C." · L. C. · L.D.

Flavio L. De Mello