Semantic Scholar Open Access 2011 420 sitasi

Computer-Aided Reasoning: An Approach

Matt Kaufmann J. S. Moore P. Manolios

Lihat Sumber

Topik & Kata Kunci

Computer Science

Penulis (3)

Matt Kaufmann

J. S. Moore

P. Manolios

Format Sitasi

APA MLA BibTeX

Kaufmann, M., Moore, J.S., Manolios, P. (2011). Computer-Aided Reasoning: An Approach. https://www.semanticscholar.org/paper/4664685f64c766c1ba3140c12a891f83a98f32f5

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber

Informasi Jurnal

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