EasyChair Smart SlideDocs/Log in
Author: Andrew Cropper

This page shows all presentations of this author published in EasyChair Smart Slide.

SLD-Resolution Reduction of Second-Order Horn Fragments - Extended Abstract

SLD-Resolution Reduction of Second-Order Horn Fragments - Extended Abstract

Sophie Tourret and Andrew Cropper

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair