Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
    Lihat Lebih Banyak
  • Bahasa
    Lihat Lebih Banyak
Ditemukan 2 dari pencarian Anda melalui kata kunci: author="Voronkov, Andrei."
cover
Logic for Programming, Artificial Intelligence, and Reasoning
Komentar Bagikan
Sutcliffe, Geoff.Voronkov, Andrei.

Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- …

Edisi
1st ed.
ISBN/ISSN
9783540316503
Deskripsi Fisik
XIV, 744 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Logic for Programming, Artificial Intelligence, and Reasoning
Komentar Bagikan
Baader, Franz.Voronkov, Andrei.

CERES in Many-Valued Logics -- A Decomposition Rule for Decision Procedures by Resolution-Based Calculi -- Abstract DPLL and Abstract DPLL Modulo Theories -- Combining Lists with Non-stably Infinite Theories -- Abstract Model Generation for Preprocessing Clause Sets -- Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying -- Applications of Gen…

Edisi
1st ed.
ISBN/ISSN
9783540322757
Deskripsi Fisik
XII, 560 p.online resource.
Judul Seri
-
No. Panggil
-