F-Logic - "F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance and Scheme", ACM SIGMOD May 1989, pp.134-146. Comments, Experience, Additions Name: * Email Address: * City, Country: Comments: * 12 plus 4? * Robot Spam Prevention Next Language: F+L
Language Search
Browse by Letter