A Short History of Mechanized Logic: A Memoir

Authors

Mark Fisher

Publication

Publication Details

Volume: 10 Issue: 5

Date

October 1992

Pages

6
See all articles from CATS v10 n5

Products

 

Downloadable Media

 
Scroll to Top