Ein regelbasiertes Klauselgraph-Beweisverfahren

Authors:
Hans Jürgen Ohlbach
Affiliations:
-
Venue:
GWAI '83 Proceedings of the 7th German Workshop on Artificial Intelligence
Year:
1983

Citing 0
Cited 1

An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract