Eintrag weiter verarbeiten
Buchumschlag von Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications: Austin, Texas, USA, November 5-6, 2018
Verfügbar über Open Access

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: Goel, Shilpi (HerausgeberIn), International Workshop on the ACL2 Theorem Prover and Its Applications 15. 2018 Austin, Tex. (VerfasserIn), Open Publishing Association (Herausgebendes Organ)
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