Proceedings of the seventeenth international workshop on the ACL2 theorem prover and its applications, Austin, Texas, USA, May 26--27, 2022 (Q5083764)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Proceedings of the seventeenth international workshop on the ACL2 theorem prover and its applications, Austin, Texas, USA, May 26--27, 2022 |
scientific article; zbMATH DE number 7545246
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Proceedings of the seventeenth international workshop on the ACL2 theorem prover and its applications, Austin, Texas, USA, May 26--27, 2022 |
scientific article; zbMATH DE number 7545246 |
Statements
20 June 2022
0 references
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications (English)
0 references
0.7857102751731873
0 references
0.769823431968689
0 references
0.7640705108642578
0 references
