Memorandum AIM-014
Dublin Core
Title
Memorandum AIM-014
Subject
Implementazione in una versione preliminare di LISP di un algoritmo per la validità di formule proposizionali
Description
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 in LISP, e lo scopo principale di questo memorandum è aiutare gli aspiranti utenti di LISP a vedere come usarlo.
Creator
Source
Publisher
RLE & MIT Computational Center
Rights
RLE & MIT Computational Center
Format
PDF
Language
English
Type
Text
Identifier
AIM-014
Collection
Citation
John McCarthy , “Memorandum AIM-014,” The Source Code Museum, accessed 24 aprile 2024, http://museumofcode.net/items/show/8.