/ < Languages, computer < F-Logic

This banner ad brought to you by Google Adsense, because unlike other banner ads they're not annoying ;)
Custom Search
<DIR>   ..
FILE    F-Logic - A Higher-Order Language For Reasoning About Objects, Inheritance, And Scheme.pdf (1.579MB)