Deduction revision by intelligent backtracking

Autor:	Bruynooghe, Maurice, Pereira, Louis M
Rok vydání:	1983
Popis:	ispartof: CW Reports pages:23-23 status: published
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______1131::3d2b595dc6aff7c82fa997206fd53a33 https://lirias.kuleuven.be/handle/123456789/629569 Zobrazit plný text záznamu