| Judul | Logic In Computer Science : Modelling and Reasoning about Systems |
| Pengarang | Michael Huth (Pengarang) Mark Ryan (Pengarang) |
| Penerbitan | Cambridge : Cambridge University Press, 2004 |
| Konten | Teks |
| Media | Komputer |
| Penyimpan Media | Sumber sambung jaring |
| Subjek | Logic programming |
| Bentuk Karya | Tidak ada kode yang sesuai |
| Target Pembaca | Tidak ada kode yang sesuai |
| No Barcode | No. Panggil | Akses | Lokasi | Ketersediaan |
|---|
| Tag | Ind1 | Ind2 | Isi |
| 001 | INLIS000000000005946 | ||
| 005 | 20201016103802 | ||
| 007 | ta | ||
| 008 | 201016################|##########|#|## | ||
| 035 | # | # | $a 0010-1020000183 |
| 082 | # | # | $a 005.11 |
| 100 | 0 | # | $a Michael Huth$e Pengarang |
| 245 | 1 | # | $a Logic In Computer Science : $b Modelling and Reasoning about Systems |
| 264 | # | # | $a Cambridge :$b Cambridge University Press,$c 2004 |
| 336 | # | # | $a Teks$2 rdacontent |
| 337 | # | # | $a Komputer$2 rdamedia |
| 338 | # | # | $a Sumber sambung jaring$2 rdacarrier |
| 600 | # | 4 | $a Logic programming |
| 700 | 0 | # | $a Mark Ryan$e Pengarang |
| No | Nama File | Nama File Format Flash | Format File | Action |
| 1 | 2004 LOGIC IN COMPUTER SCIENCE Modelling and Reasoning about Systems.pdf | logic | Baca Online |
Content Unduh katalog
Karya Terkait :