Invia software
  1. Casa
  2. Linux
  3. Altro
  4. McCarthy programming language

McCarthy programming language 1.0

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti
Scaricare

McCarthy è un interprete per un semplice linguaggio di programmazione funzionale di primo ordine che è Turing-completo e può essere usato come modello di calcolo.

cronologia delle versioni

  • Versione 1.0 pubblicato il 2007-03-26
    Diverse correzioni e aggiornamenti
  • Versione 1.0 pubblicato il 2007-03-26

Dettagli del programma

Programmi correlati

  • Anti-plagiarism Prova gratuita

    Il programma controlla se vari tipi di testi e frasi inclusi in essi sono stati plagiati, il software è facile da usare, è solo necessario inserire testo e dopo diversi secondi il software mostra quanto sia originale il testo

  • Freelearn Gratuito

    Freelearn mira a creare un software a carico non piattaforma che fornisce un'architettura flessibile per l'insegnamento e il networking degli studenti per creare e aiutare rapidamente e facilmente l'apprendimento online gratu

  • escipub Gratuito

    Prototipo di un'applicazione basata sul Web per l'invio di contenuti a un repository di oggetti digitali in base a flussi di lavoro personalizzabili. L'applicazione integra JBoss jBPM e il repository Fedora.

  • Merriam-Webster s Medical Prova gratuita

    Merriam-Webster Medical Dictionary è una guida concisa al linguaggio essenziale della medicina con oltre 35.000 voci.------------Dettagli dizionario:• Più di 35.000 voci• Pronunce fornite per tutte le vo

  • Learn Serbian Free WordPower Gratuito

    **La versione 1.1 risolve i problemi di chiusura della forza che molti avevano**WordPower - Lite : Lo strumento di apprendimento perfetto per lo studente di lingue ultra-occupatoMemorizza e padroneggia la pronuncia di 1 p

  • LazyTown Smoothie Maker Prova gratuita

    ** App LazyTown educativa per l'alimentazione sana per Android ** **Creato in associazione con una campagna del Ministero della Salute del Regno Unito per incoraggiare un'alimentazione sana tra i bambini piccoli**Insegn

  • Cambium Process Language Gratuito

    CAMBIUM è un linguaggio di processo matematicamente ben definito la cui semantica è definita dalle algebre degli operatori. Può funzionare come una rappresentazione intermedia multi-paradigma per modelli che alterano la strut

  • MMCd Tools Gratuito

    Strumenti Windows per l'elaborazione di datalog dallo strumento di datalogging automobilistico MMCd per veicoli Mitsubishi pre-OBDII da utilizzare sul palmare Palm. MMCd è disponibile gratuitamente su http://mmcdlogger.sourc

  • SNPTransformer Gratuito

    SNPTransformer è un programma potente, intuitivo e leggero progettato per collegare i dati di genotipizzazione a monte con programmi genetici a valle per studi di associazione a livello genomico (GWAS).

  • CUDA ITK Gratuito

    Questo progetto mostra come integrare l'API di programmazione DELLA GPU NVIDIA CUDA nella libreria ITK (Insight Segmentation and Registration Toolkit)