Eintrag weiter verarbeiten
Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications: Austin, Texas, USA, November 5-6, 2018
Gespeichert in:
Personen und Körperschaften: | , , |
---|---|
Titel: | Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications: Austin, Texas, USA, November 5-6, 2018/ edited by: Shilpi Goel and Matt Kaufmann |
Medientyp: | E-Book Konferenzbericht |
Sprache: | Englisch |
veröffentlicht: |
[Waterloo, NSW]
[Open Publishing Association]
29th October 2018
|
Gesamtaufnahme: |
Electronic proceedings in theoretical computer science ; 280
|
Schlagwörter: | |
Quelle: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |