Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. .
Enregistré dans:
Collectivité auteur: | |
---|---|
Autres auteurs: | , |
Format: | Électronique eBook |
Langue: | anglais |
Publié: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
Édition: | 1st ed. 2023. |
Collection: | Lecture Notes in Artificial Intelligence,
14132 |
Sujets: | |
Accès en ligne: | Link to Metadata |
Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Internet
Link to Metadata3rd Floor Main Library
Cote: |
A1234.567 |
---|---|
Exemplaire 1 | Disponible |