Unifikationsgraphen für Intelligentes Backtracking in Deduktionssystemen

Publisher Website

1 January 1983

book chapter
Published by Springer Nature

p. 189-196
https://doi.org/10.1007/978-3-642-69391-5_17

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

Deduction Plans: A Basis for Intelligent Backtracking
IEEE Transactions on Pattern Analysis and Machine Intelligence, 1981

Cited by 3 articles