Hal Sciencemetadata only
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn
procédures de décision, solver, solveur, canoniseur, problèmes de satisfaisabilité, réécriture, problèmes de combinaison, canonizer
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 175872
Conceptio Open Knowledge Archive — every document is proof-bundled with source, license, and retrieval metadata.