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

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...

Deskribapen osoa

Gorde:
Xehetasun bibliografikoak
Erakunde egilea: SpringerLink (Online service)
Beste egile batzuk: Platzer, André (Argitaratzailea), Sutcliffe, Geoff (Argitaratzailea)
Formatua: Baliabide elektronikoa eBook
Hizkuntza:ingelesa
Argitaratua: Cham : Springer International Publishing : Imprint: Springer, 2021.
Edizioa:1st ed. 2021.
Saila:Lecture Notes in Artificial Intelligence, 12699
Gaiak:
Sarrera elektronikoa:Link to Metadata
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Internet

Link to Metadata

3rd Floor Main Library

Aleari buruzko argibideak 3rd Floor Main Library
Sailkapena: A1234.567
Alea 1 Eskuragarri