Implementing CLP(𝔹) using the Connection Theorem Proving Method and a Clause Management Systems

• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 15, Nº 1, 1993, págs. 27-48
• Idioma: inglés
• Texto completo no disponible (Saber más ...)