Bookmark Saya

Semantic Scholar Open Access 1994 1425 sitasi

Isabelle: A Generic Theorem Prover

Lawrence Charles Paulson T. Nipkow
Lihat Sumber

Topik & Kata Kunci

Mathematics

Penulis (2)

L

Lawrence Charles Paulson

T

T. Nipkow

Format Sitasi

APA MLA BibTeX
Paulson, L.C., Nipkow, T. (1994). Isabelle: A Generic Theorem Prover. https://www.semanticscholar.org/paper/7ee54cd7419f1f90912508fdbdc37fdd47dc0947

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →
Lihat di Sumber
Informasi Jurnal
Tahun Terbit
1994
Bahasa
en
Total Sitasi
1425×
Sumber Database
Semantic Scholar
Akses
Open Access ✓