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

Descrizione completa

Salvato in:
Dettagli Bibliografici
Altri autori: Platzer, André (Redattore), Sutcliffe, Geoff (Redattore)
Natura: Elettronico Capitolo di libro
Lingua:inglese
Pubblicazione: Springer Nature 2021
Serie:Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence 12699
Soggetti:
Accesso online:OAPEN Library: download the publication
OAPEN Library: description of the publication
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

OAPEN Library: download the publication
OAPEN Library: description of the publication

3rd Floor Main Library

Dettagli sul posseduto da 3rd Floor Main Library
Collocazione: A1234.567
Copia 1 Disponibile