Charles G. Morgan

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Automated Theorem Proving in Non- Classical Logics978-3-54O-97692-9
(3-54O-97692-2)
1998

C. G. · C.M. · C. Morgan · Charles G. · Charles M. · Charles Morgan · G.M. · G. Morgan

Charles G. Morris