Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
tarafından
 
Sattler, Uli. editor.

Başlık
: 
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

Yazar
: 
Sattler, Uli. editor.

ISBN
: 
9783031433696

Basım Bilgisi
: 
1st ed. 2023.

Fiziksel Tanımlama
: 
XVI, 275 p. 421 illus., 12 illus. in color. online resource.

Seri
: 
Lecture Notes in Artificial Intelligence, 14279

İçerik
: 
Analysis of Programs and Equations -- Unification -- Decidable Fragments -- Frameworks -- Higher-order Theorem Proving.

Yazar Ek Girişi
: 
Sattler, Uli.
 
Suda, Martin.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-031-43369-6


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap521141-1001ONLINEElektronik Kütüphane