Mathematical Aspects of Logic Programming Semantics
Pascal Hitzler, Anthony Seda
Informasi Umum
Kode
24.21.2226
Klasifikasi
005.1 - Computer programming
Jenis
Buku - Elektronik (E-Book)
Subjek
Logic Programming
No. Rak
Tel-U Gedung Manterawu Lantai 5 : Rak 2
Tel-U Purwokerto : Rak 1
Dilihat
61 kali
Informasi Lainnya
Abstraksi
Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory. The authors closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks.
Koleksi & Sirkulasi
Tersedia 1 dari total 1 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | Pascal Hitzler, Anthony Seda |
| Jenis | Perorangan |
| Penyunting | |
| Penerjemah |
Penerbit
| Nama | Taylor & Francis |
| Kota | Boca Raton |
| Tahun | 2010 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 0,00 |
| Jenis | Non-Sirkulasi |
