Bücher nach ISBN > Springer > Amy P. Felty

Amy P. Felty

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings978-3-319-214OO-9
(3-319-214OO-4)		2015Aart Middeldorp

A.F. · A. P. · A P. F · Amy Felty · P.F.

Amy P. Simpson