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

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Coauteur: SpringerLink (Online service)
Andere auteurs: Platzer, André (Redacteur), Sutcliffe, Geoff (Redacteur)
Formaat: Elektronisch E-boek
Taal:Engels
Gepubliceerd in: Cham : Springer International Publishing : Imprint: Springer, 2021.
Editie:1st ed. 2021.
Reeks:Lecture Notes in Artificial Intelligence, 12699
Onderwerpen:
Online toegang:Link to Metadata
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!

Internet

Link to Metadata

3rd Floor Main Library

Exemplaargegevens van 3rd Floor Main Library
Plaatsingsnummer: A1234.567
Kopie 1 Beschikbaar