Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. slc

slc

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 5.0/5 - ‎1 ‎Suara
Download

Simbolis Lambda Calculus adalah formalisme logis berdasarkan kalkulus lambda dan logika combinatory, di mana hanya ada satu jenis objek, yang dapat mewakili istilah atau kesetaraan. Ini menggunakan notasi kalkulus de Bruijn dan lambda.

Riwayat versi

  • Versi files diposting di 2010-05-13
    Beberapa perbaikan dan pembaruan
  • Versi N/A diposting di 2010-05-13

Detil Program

Program Terkait

  • freeportfolio Gratis

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

  • FIGTree Gratis

    Perpustakaan untuk komputasi cepat Gauss berubah dalam berbagai dimensi, menggunakan Transformasi Gauss Cepat yang Ditingkatkan dan Perkiraan Pencarian Tetangga Terdekat. Perpustakaan ini berguna untuk Estimasi Kepadatan Kern

  • GenomeDiff Gratis

    Bandingkan genom virus secara visual dengan dotplot! Program Java. Unduh secara manual dari pubmed! Gunakan tampilan perataan! Bandingkan, misalnya, Hiv-1 & Visna. Temukan p24 dalam Hiv-1! Bandingkan teks bahasa alami! Ek

  • AquaLog Gratis

    Sistem penjawab pertanyaan portabel berbasis ontologi yang mengambil kueri yang dinyatakan dalam bahasa alami dan ontologi sebagai input dan mengembalikan jawaban yang diambil dari satu atau lebih basis pengetahuan (KBs)

  • hybrid model optimization/identification Gratis

    hybopt adalah seperangkat perpustakaan untuk memecahkan masalah identifikasi dan kontrol optimal untuk model dinamika hibrida (mekanis/empiris) (ODE dan DAE).

  • RmscopII Gratis

    RmscopII adalah skrip Tcl/Tk yang bertanggung jawab untuk mengalihkan file struktur protein (file PDB) atau skrip RasMol ke beberapa sesi RasMol. Ini dapat digunakan sebagai aplikasi pembantu browser web atau sebagai program

  • Matrix Expression Templates Gratis

    MET adalah pustaka kelas matriks C++ yang berurusan dengan ekspresiTemplate. Teknik ini menghilangkan penyalinan dan sementara objek matriks dan dapat mempercepat perhitungan.

  • Standard Animal Behaviour Ontology Gratis

    SABO adalah ontologi OWL tingkat atas yang menggambarkan domain perilaku hewan. Penulis:

  • RooFit toolkit for data modelling Gratis

    Paket RooFit menyediakan toolkit untuk pemodelan distribusi numerik yang diharapkan dari hasil eksperimen ilmiah. Model yang dibuat dengan RooFit dapat digunakan untuk fitting,visualisasi, dan studi Monte Carlo.

  • Ebooka PDF Viewer Gratis

    Pesan dan Pembaca Dokumen dengan dukungan PDF dan DjVu untuk membaca yang nyaman. Jika Anda mencari pembaca PDF yang baik, berhenti di sini, Anda telah menemukannya. Ini melakukan apa yang Anda harapkan untuk dilakukan. Anda