Semantic Scholar Open Access 1993 1780 sitasi

Introduction to HOL: a theorem proving environment for higher order logic

M. Gordon T. Melham

Lihat Sumber

Topik & Kata Kunci

Mathematics

Penulis (2)

M. Gordon

T. Melham

Format Sitasi

APA MLA BibTeX

Gordon, M., Melham, T. (1993). Introduction to HOL: a theorem proving environment for higher order logic. https://www.semanticscholar.org/paper/f00864691eacc0c2eb5e8c6adad1199734cfd069

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 1993
Bahasa: en
Total Sitasi: 1780×
Sumber Database: Semantic Scholar
Akses: Open Access ✓