Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. slc

slc

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 5.0/5 - ‎1 ‎Undi
Muat turun

Simbolik Lambda Calculus adalah formalisme logik berdasarkan kalkulus lambda dan logik kombinatori, di mana hanya ada satu jenis objek, yang boleh mewakili sama ada terma atau persamaan. Ia menggunakan notasi kalkulus de Bruijn dan lambda.

sejarah versi

  • Versi files diposkan pada 2010-05-13
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2010-05-13

Butiran Atur Cara

Atur Cara Berkaitan

  • freeportfolio Percuma

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

  • FIGTree Percuma

    Sebuah perpustakaan untuk pengiraan pantas Gauss berubah dalam pelbagai dimensi, menggunakan Transformasi Gauss Pantas Yang Lebih Baik dan Carian Jiran Terdekat Anggaran. Perpustakaan ini berguna untuk Anggaran Ketumpatan Ker

  • GenomeDiff Percuma

    Bandingkan genom virus secara visual oleh dotplot! Program Java. Muat turun secara manual dari pubmed! Gunakan paparan penjajaran! Bandingkan, sebagai contoh, Hiv-1 & Visna. Cari p24 dalam Hiv-1! Bandingkan teks bahasa se

  • AquaLog Percuma

    Sistem menjawab soalan mudah alih berasaskan ontologi yang mengambil pertanyaan yang dinyatakan dalam bahasa semula jadi dan ontologi sebagai input dan jawapan pulangan yang diambil dari satu atau lebih pangkalan pengetahuan

  • hybrid model optimization/identification Percuma

    hybopt adalah satu set perpustakaan untuk menyelesaikan masalah pengenalan dan kawalan optimum untuk model dinamik hibrid (mekanistik/ empirikal) dinamik (ODE dan DAE).

  • RmscopII Percuma

    RmscopII adalah skrip Tcl/Tk yang bertanggungjawab untuk mengarahkan fail struktur protein (fail PDB) atau skrip RasMol ke berbilang sesi RasMol. Ia boleh digunakan sebagai aplikasi bantuan pelayar web atau sebagai program ke

  • Matrix Expression Templates Percuma

    MET adalah perpustakaan kelas matrix C++ yang berurusan dengan ungkapanTemplate. Teknik ini menghapuskan penyalinan dan sementara objek matriks dan boleh mempercepatkan pengiraan.

  • Standard Animal Behaviour Ontology Percuma

    SABO adalah ontologi OWL peringkat atas yang menerangkan domain tingkah laku haiwan. Penulis:

  • RooFit toolkit for data modelling Percuma

    Pakej RooFit menyediakan toolkit untuk memodelkan pengedaran berangka yang dijangkakan hasil eksperimen saintifik. Model yang dicipta dengan RooFit boleh digunakan untuk pemasangan,penggambaran, dan kajian Monte Carlo.

  • Ebooka PDF Viewer Percuma

    Tempah dan Pembaca Dokumen dengan sokongan PDF dan DjVu untuk bacaan yang selesa. Jika anda sedang mencari pembaca PDF yang baik, berhenti di sini, anda telah menemuinya. Ia melakukan apa yang anda harapkan untuk melakukannya