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...
Enregistré dans:
Collectivité auteur: | SpringerLink (Online service) |
---|---|
Autres auteurs: | Platzer, André (Éditeur intellectuel), Sutcliffe, Geoff (Éditeur intellectuel) |
Format: | Électronique eBook |
Langue: | anglais |
Publié: |
Cham :
Springer International Publishing : Imprint: Springer,
2021.
|
Édition: | 1st ed. 2021. |
Collection: | Lecture Notes in Artificial Intelligence,
12699 |
Sujets: | |
Accès en ligne: | Link to Metadata |
Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
-
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Publié: (2021) -
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Publié: (2021) -
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Publié: (2023) -
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Publié: (2023) -
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Publié: (2023)