Telecharger Cours

SCHOOL OF COMPUTER SCIENCE AND APPLICATIONS - AWS

Since the invention of resolution and paramodulation calculi , theoretical re- search in the area of resolution-based theorem proving has achieved a ...



Download