The following pages link to Larry Wos (Q220717):
Displaying 14 items.
- (Q4443194) (← links)
- (Q4443196) (← links)
- (Q4761817) (← links)
- A theorem-proving language for experimentation (Q4766014) (← links)
- (Q4792019) (← links)
- (Q4816538) (← links)
- (Q4817210) (← links)
- The Legacy of a Great Researcher (Q4913858) (← links)
- A Fascinating Country in the World of Computing (Q5444850) (← links)
- Mechanizing Mathematical Reasoning (Q5717441) (← links)
- A milestone reached and a secret revealed (Q5951524) (← links)
- Conquering the Meredith single axiom (Q5951529) (← links)
- Missing proofs found (Q5951530) (← links)
- Finding missing proofs with automated reasoning (Q5951893) (← links)
