Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers

Carlos Areces, Diana Costa

Informasi Dasar

Dilihat

87 kali

No. Katalog

24.21.1129

Klasifikasi

004.015 1

Jenis katalog

Buku - Elektronik (E-Book)

No. Rak

Tel-U Gedung Manterawu Lantai 5 : Rak 1
Tel-U Purwokerto : Rak 1

Abstraksi

Subjek

Subjek utama

Logic - computer science

Subjek tambahan

Logic, Mathematical Logic and Foundations, Logic in AI, Software Engineering/Programming and Operating Systems, Computer Communication Networks

Katalog

Judul

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers

ISBN

978-3-031-26622-5

Kolasi

155p.: pdf file.; 3 MB

Bahasa

English

Sirkulasi

Harga pinjam

Rp. 0

Biaya denda

Rp. 0

Sirkulasi

Tidak

Pengarang

Nama

Carlos Areces, Diana Costa

Jenis

Perorangan

Penyunting/
Pembimbing

 

Alih bahasa

 

Penerbit

Nama

Springer Cham

Kota

New York

Tahun

2023

Koleksi

Total

1 Koleksi

Tersedia

1 Koleksi

Kompetensi

Tidak ada

 

Download / Flippingbook

Link file

E - Book (ebook.pdf)

belum pernah diunduh

Rekomendasi

 

Ulasan

Belum ada ulasan yang diberikan

anda harus sign-in untuk memberikan ulasan ke katalog ini

• Kembali