The Semantic Clause Graph Procedure - A First Overview

Hans Jürgen Ohlbach. The Semantic Clause Graph Procedure - A First Overview. In Claus-Rainer Rollinger, Werner Horn, editors, GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings. Volume 124 of Informatik-Fachberichte, pages 218-229, Springer, 1986.

Abstract

Abstract is missing.