Semantic Scholar Open Access 2000 621 sitasi

Logic in Computer Science: Modelling and Reasoning about Systems

D. Bridges Cristian S. Calude M. Dinneen B. Khoussainov

Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (4)

D. Bridges

Cristian S. Calude

M. Dinneen

B. Khoussainov

Format Sitasi

APA MLA BibTeX

Bridges, D., Calude, C.S., Dinneen, M., Khoussainov, B. (2000). Logic in Computer Science: Modelling and Reasoning about Systems. https://doi.org/10.1017/CBO9780511810275

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber doi.org/10.1017/CBO9780511810275

Informasi Jurnal

Tahun Terbit: 2000
Bahasa: en
Total Sitasi: 621×
Sumber Database: Semantic Scholar
DOI: 10.1017/CBO9780511810275
Akses: Open Access ✓