close×
  • Home
  • Uncategorized
  • F-logic: a higher-order language for reasoning about objects, inheritance, and scheme

F-logic: a higher-order language for reasoning about objects, inheritance, and scheme

Michael Kifer, Georg Lausen

Available in: PDF

440 Downloads