Comprehensive Mathematics for Computer Scientists 2

Adapting Proofs-as-Programs

Abstraction, Reformulation and Approximation

Abstraction, Refinement and Proof for Probabilistic Systems

Compiler Construction

Formal Concept Analysis

FM 2005: Formal Methods

Hasil Pencarian


Ditemukan 105 dari pencarian Anda melalui kata kunci: subject="Mathematical logic."
Permintaan membutuhkan 0.14423 detik untuk selesai
XML ResultJSON Result

Informasi


Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog