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

Description complète

Enregistré dans:
Détails bibliographiques
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