Telecharger Cours

Implementation of Higher-Order Superposition - VU Research Portal

Rhetorical (Rhet) is a programming / knowledge representation system that offers a set of tools for building an automated reasoning system.



Download