A LOGICAL CHARACTERIZATION FOR TRUTH MAINTENANCE SYSTEMS WITH DEPENDENCY‐DIRECTED BACKTRACKING

Laura Giordano, Alberto Martelli

Risultato della ricerca: Contributo su rivista › Articolo in rivista › peer review

Fingerprint

Entra nei temi di ricerca di 'A LOGICAL CHARACTERIZATION FOR TRUTH MAINTENANCE SYSTEMS WITH DEPENDENCY‐DIRECTED BACKTRACKING'. Insieme formano una fingerprint unica.

Keyphrases

Computer Science

Mathematics