An introduction to mechanized reasoning (Q504394)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6675067
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An introduction to mechanized reasoning |
scientific article; zbMATH DE number 6675067 |
Statements
An introduction to mechanized reasoning (English)
0 references
16 January 2017
0 references
mechanized reasoning
0 references
formal methods
0 references
social choice theory
0 references
auction theory
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0.7422656416893005
0 references
0.729145884513855
0 references
0.7285072207450867
0 references
0.7133991122245789
0 references
0.7011110186576843
0 references
