Semantic Scholar Open Access 1971 412 sitasi

Temporal Logic

Alasdair Urquhart

Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (1)

A

Alasdair Urquhart

Format Sitasi

APA MLA BibTeX

Urquhart, A. (1971). Temporal Logic. https://doi.org/10.1007/978-3-7091-7664-1

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber doi.org/10.1007/978-3-7091-7664-1

Informasi Jurnal

Tahun Terbit: 1971
Bahasa: en
Total Sitasi: 412×
Sumber Database: Semantic Scholar
DOI: 10.1007/978-3-7091-7664-1
Akses: Open Access ✓