This issue collects papers written in memory of the late Larry Wos, exceptional scientist and charismatic leader during six decades of research in automated reasoning. Larry Wos was one of the founders of the field of automated reasoning, and he was the founder and the first editor-in-chief of the Journal of Automated Reasoning.

Six Decades of Automated Reasoning: Papers in Memory of Larry Wos

Maria Paola Bonacina
2022

Abstract

This issue collects papers written in memory of the late Larry Wos, exceptional scientist and charismatic leader during six decades of research in automated reasoning. Larry Wos was one of the founders of the field of automated reasoning, and he was the founder and the first editor-in-chief of the Journal of Automated Reasoning.
Theorem proving; History of Theorem Proving
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/1077486
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact