Browse Items (1 total)

Questo memorandum descrive un programma LISP per decidere se un'espressione nel calcolo proposizionale è una tautologia secondo l'algoritmo di Wang. L'algoritmo di Wang è un eccellente esempio del tipo di algoritmo che è convenientemente programmato…
Output Formats

atom, dcmes-xml, json, omeka-xml, rss2