Kapak Resmi

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Diğer sürümleri göster (2)

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is...

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Müşterek Yazar: SpringerLink (Online service)
Diğer Yazarlar: Platzer, André (Editör), Sutcliffe, Geoff (Editör)
Materyal Türü: Elektronik Ekitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham : Springer International Publishing : Imprint: Springer, 2021.
Edisyon:1st ed. 2021.
Seri Bilgileri:Lecture Notes in Artificial Intelligence, 12699
Konular:
Artificial intelligence.
Machine theory.
Computer science.
Software engineering.
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Online Erişim:Link to Metadata
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!

Internet

Link to Metadata

3rd Floor Main Library

Detaylı Erişim Bilgileri 3rd Floor Main Library
Yer Numarası: A1234.567
Kopya Bilgisi 1 Kütüphanede

Benzer Materyaller