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:
Détails bibliographiques
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Pientka, Brigitte (Éditeur intellectuel), Tinelli, Cesare (Éditeur intellectuel)
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 Metadata

3rd Floor Main Library

Informations d'exemplaires de 3rd Floor Main Library
Cote: A1234.567
Exemplaire 1 Disponible