Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Robert Glück, Bishoksan Kafle
Informasi Umum
Kode
24.21.1204
Klasifikasi
005.1 - Computer programming
Jenis
Buku - Elektronik (E-Book)
Subjek
Computer Programming
No. Rak
Tel-U Purwokerto : Rak 1
Tel-U Gedung Manterawu Lantai 5 : Rak 2
Dilihat
83 kali
Informasi Lainnya
Abstraksi
This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023.
The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis; Static analysis and Type systems; Unification and substitution in (C)LP; and Knowledge representation and AI-based learning.
Koleksi & Sirkulasi
Tersedia 1 dari total 1 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | Robert Glück, Bishoksan Kafle |
| Jenis | Perorangan |
| Penyunting | |
| Penerjemah |
Penerbit
| Nama | Springer Cham |
| Kota | Singapore |
| Tahun | 2023 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 0,00 |
| Jenis | Non-Sirkulasi |
