Semantic Scholar Open Access 2000 765 sitasi

Logic in computer science - modelling and reasoning about systems

M. Huth M. Ryan

Lihat Sumber

Topik & Kata Kunci

Computer Science

Penulis (2)

M. Huth

M. Ryan

Format Sitasi

APA MLA BibTeX

Huth, M., Ryan, M. (2000). Logic in computer science - modelling and reasoning about systems. https://www.semanticscholar.org/paper/8ff3040ec8e66604b1057cd3606ff8fa067ff89c

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber

Informasi Jurnal

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