2 10 13 Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Codici Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Memorandum AIM-014 Subject The topic of the resource Implementazione in una versione preliminare di LISP di un algoritmo per la validità di formule proposizionali Description An account of the resource 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 An entity primarily responsible for making the resource <a href="https://museumofcode.net/items/show/5"> John McCarthy </a> Source A related resource from which the described resource is derived <a href="http://www.bitsavers.org/pdf/mit/ai/aim/AIM-014.pdf"> AIM-014.pdf</a> Publisher An entity responsible for making the resource available RLE & MIT Computational Center Rights Information about rights held in and over the resource RLE & MIT Computational Center Format The file format, physical medium, or dimensions of the resource PDF Language A language of the resource English Type The nature or genre of the resource Text Identifier An unambiguous reference to the resource within a given context AIM-014 AIM-014 Algoritmo Calcolo Proporzionale Codici John McCarthy Lisp Memorandum RLE & MIT Computational Center Tautologie Wang Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Codici Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Memorandum AIM-012 Subject The topic of the resource Un'estensione di una versione preliminare del linguaggio LISP Description An account of the resource L'obiettivo di questo memorandum è quello di aggiungere al linguaggio LISP una funzionalità che consente la definizione di funzioni da parte di programmi che includono sequenze di istruzioni di tipo Fortran, ad esempio Y= cons[ff[subst[A;y;z]]; (A,B)]. Creator An entity primarily responsible for making the resource <a href="https://museumofcode.net/items/show/5"> John McCarthy </a> Source A related resource from which the described resource is derived <a href="http://www.bitsavers.org/pdf/mit/ai/aim/AIM-012.pdf"> AIM-012.pdf</a> Publisher An entity responsible for making the resource available RLE and MIT Computation Center Rights Information about rights held in and over the resource RLE and MIT Computation Center Format The file format, physical medium, or dimensions of the resource Pdf Language A language of the resource English Type The nature or genre of the resource Txt Identifier An unambiguous reference to the resource within a given context AIM-012 AIM-012 Codici Definire Funzioni Funzionalità John McCarthy Lisp Memorandum RLE & MIT Computational Center Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Codici Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Memorandum AIM-010 Subject The topic of the resource Derivazione simbolica in una versione preliminare di LISP Description An account of the resource Questo programma è un sottoprodotto del linguaggio macchina. È stato scritto perché il processo di differenziazione e in una certa misura quello di semplificazione si è rivelato molto convenientemente esprimibile in LISP. Ci sono due ragioni principali per questo: una è il fatto che le espressioni algebriche sono più facilmente rappresentabili in un computer per mezzo di liste e l'altra è la capacità del LISP di descrivere processi ricorsivi. Creator An entity primarily responsible for making the resource K. Maling Source A related resource from which the described resource is derived <a href="http://www.bitsavers.org/pdf/mit/ai/aim/AIM-010.pdf"> AIM-010.pdf</a> Publisher An entity responsible for making the resource available RLE & MIT Computational Center Rights Information about rights held in and over the resource RLE & MIT Computational Center Format The file format, physical medium, or dimensions of the resource PDF Language A language of the resource English Type The nature or genre of the resource Text Identifier An unambiguous reference to the resource within a given context AIM-010 AIM-010 Codici Derivazione Simbolica K. Maling Lisp Memorandum RLE & MIT Computational Center