"The computational behaviour of the SCIFF abductive proof procedure and the ..."

Marco Alberti, Federico Chesani (2005)

Details and statistics

DOI:

access: unavailable

type: Journal Article

metadata version: 2017-07-10

a service of  Schloss Dagstuhl - Leibniz Center for Informatics