Login / Signup
Jorge J. Morales
Publication Activity (10 Years)
Years Active: 1978-1978
Publications (10 Years): 0
</>
Publications
</>
David C. Luckham
,
Jorge J. Morales
,
Joachim F. Schreiber
A Study in the Application of Theorem Proving.
AISB/GI (ECAI)
(1978)