arXiv Open Access 2015

Deduction modulo theory

Gilles Dowek

Lihat Sumber

Abstrak

This paper is a survey on Deduction modulo theory

Topik & Kata Kunci

cs.LO

Penulis (1)

G

Gilles Dowek

Format Sitasi

APA MLA BibTeX

Dowek, G. (2015). Deduction modulo theory. https://arxiv.org/abs/1501.06523

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2015
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓