Skip to main content
main-content
Top

Hint

Swipe to navigate through the articles of this issue

18-07-2022

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

Foreword

Author: Maria Paola Bonacina

Published in: Journal of Automated Reasoning

Login to get access
share
SHARE

Excerpt

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. …
Metadata
Title
Six Decades of Automated Reasoning: Papers in Memory of Larry Wos
Foreword
Author
Maria Paola Bonacina
Publication date
18-07-2022
Publisher
Springer Netherlands
Published in
Journal of Automated Reasoning
Print ISSN: 0168-7433
Electronic ISSN: 1573-0670
DOI
https://doi.org/10.1007/s10817-022-09637-z

Premium Partner