Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. slc

slc

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 5.0/5 - ‎1 ‎Votos
Descargar

El cálculo de lambda simbólico es un formalismo lógico basado en el cálculo lambda y la lógica combinatoria, en el que solo hay un tipo de objetos, que pueden representar términos o igualdades. Utiliza las notaciones de Cálculo de Bruijn y lambda.

historial de versiones

  • Versión files publicado en 2010-05-13
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2010-05-13

Detalles del programa

Programas relacionados

  • freeportfolio Gratis

    Outil web (php/mysql) d'valuation initialement dvelopp l'ENFA ( www.enfa.fr/portfolio ).

  • FIGTree Gratis

    Una biblioteca para el cálculo rápido de Gauss se transforma en varias dimensiones, utilizando la transformación de gauss rápido mejorada y la búsqueda de vecino más cercano aproximado. Esta biblioteca es útil para la estimac

  • GenomeDiff Gratis

    Comparar genomas de virus visualmente por la gráfica de puntos! Programa Java. Descargar manualmente desde pubmed! ¡Utilice la vista de alineación! Comparar, por ejemplo, Hiv-1 & Visna. Localizar p24 dentro de Hiv-1! Comp

  • AquaLog Gratis

    Un sistema de respuesta a preguntas portátil basado en ontología que toma consultas expresadas en lenguaje natural y una ontología como entrada y devuelve respuestas extraídas de una o más bases de conocimiento (KBs)

  • hybrid model optimization/identification Gratis

    hybopt es un conjunto de bibliotecas para resolver los problemas de identificación y control óptimos para modelos híbridos (mecánicos/empíricos) dinámicos (ODE y DAE).

  • RmscopII Gratis

    RmscopII es un script Tcl/Tk responsable de redirigir archivos de estructura de proteínas (archivos PDB) o scripts RasMol a varias sesiones RasMol. Se puede utilizar como una aplicación auxiliar del navegador web o como un pr

  • Matrix Expression Templates Gratis

    MET es una biblioteca de clases de matriz de C++ que se ocupa de la expresiónPlantillas. Esta técnica elimina la copia y los temporarios de los objetos de matriz y puede acelerar los cálculos.

  • Standard Animal Behaviour Ontology Gratis

    SABO es una ontología OWL de alto nivel que describe el dominio del comportamiento animal. Autores:

  • RooFit toolkit for data modelling Gratis

    El paquete RooFit proporciona un conjunto de herramientas para modelar las distribuciones numéricas esperadas de los resultados de un experimento científico. Los modelos creados con RooFit se pueden utilizar para el montaje,

  • Ebooka PDF Viewer Gratis

    Lector de libros y documentos con soporte PDF y DjVu para una lectura cómoda. Si está buscando un buen lector de PDF, deténgase aquí, lo ha encontrado. Hace lo que esperas que haga. Usted puede sentar y leer fácilmente libros