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...
Salvato in:
Altri autori: | , |
---|---|
Natura: | Elettronico Capitolo di libro |
Lingua: | inglese |
Pubblicazione: |
Springer Nature
2021
|
Serie: | Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
12699 |
Soggetti: | |
Accesso online: | OAPEN Library: download the publication OAPEN Library: description of the publication |
Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Accesso online
OAPEN Library: download the publicationOAPEN Library: description of the publication
3rd Floor Main Library
Collocazione: |
A1234.567 |
---|---|
Copia 1 | Disponibile |