Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

Weitere Versionen (2)
Gespeichert in:
Hauptverfasser:
Platzer, André (HerausgeberIn), Sutcliffe, Geoff (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2021
Ausgabe:
1st ed. 2021
Umfang:
1 Online-Ressource (XIV, 650 p. 194 illus., 2 illus. in color)
text file PDF
Schriftenreihe:
Lecture Notes in Artificial Intelligence
ISBN:
9783030798765
DOI:
10.1007/978-3-030-79876-5
Schlagworte:
Artificial intelligence
Mathematical logic
Computer logic
Software engineering
Bezugswerke:
Links: