Comment on 50 years of proof assistantsparentComments−mindcrime8moI did wind up picking up Volume 1 this afternoon and starting to read some of it. It's a fascinating look back in time at some earlier days of AI. Which is right up my alley, as I'm pretty enthusiastic about studying the history of the field.
Comments
I did wind up picking up Volume 1 this afternoon and starting to read some of it. It's a fascinating look back in time at some earlier days of AI. Which is right up my alley, as I'm pretty enthusiastic about studying the history of the field.