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

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

Ordina per

Fingerprint