Preface of the special issue of the Journal of Automated Reasoning in memory of Larry Wo
For some, the object of automated reasoning is the design and implementation of a program that offer...
The special issue you are browsing is the outcome of one of the final stages in an initiative commem...
Ouvrage (éditeur). ISSN: 0168-7433 Journal of Automated ReasoningThis special issue of the Journal o...
This paper celebrates the scientific discoveries and the service to the automated reasoning communit...
This article is a tribute to the scientific legacy of automated reasoning pioneer and JAR founder La...
AbstractThe term automated reasoning (first introduced in 1980) accurately describes the objective o...
International audienceShortly before Larry Wos passed away, he sent a manuscript for discussion to S...
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Confer...
This special issue of the Journal on Formal Methods in System Design is dedicated to Prof. Helmut Ve...
Preface For many years the British and the German automated reasoning communities have successfully ...
Preface This volume contains the proceedings of ARW 2019, the twenty sixths Workshop on Automated Re...
In this special issue of the Journal of Automated Reasoning, this article sets the stage for the suc...
In one sense, this article is a personal tribute to Woody Bledsoe. As such, the style will in genera...
Automated Reasoning got its initial boost after Alan Robinson invented the resolution principle in 1...
As the 21st century begins, the power of our magical new tool and partner, the computer, is increasi...
For some, the object of automated reasoning is the design and implementation of a program that offer...
The special issue you are browsing is the outcome of one of the final stages in an initiative commem...
Ouvrage (éditeur). ISSN: 0168-7433 Journal of Automated ReasoningThis special issue of the Journal o...
This paper celebrates the scientific discoveries and the service to the automated reasoning communit...
This article is a tribute to the scientific legacy of automated reasoning pioneer and JAR founder La...
AbstractThe term automated reasoning (first introduced in 1980) accurately describes the objective o...
International audienceShortly before Larry Wos passed away, he sent a manuscript for discussion to S...
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Confer...
This special issue of the Journal on Formal Methods in System Design is dedicated to Prof. Helmut Ve...
Preface For many years the British and the German automated reasoning communities have successfully ...
Preface This volume contains the proceedings of ARW 2019, the twenty sixths Workshop on Automated Re...
In this special issue of the Journal of Automated Reasoning, this article sets the stage for the suc...
In one sense, this article is a personal tribute to Woody Bledsoe. As such, the style will in genera...
Automated Reasoning got its initial boost after Alan Robinson invented the resolution principle in 1...
As the 21st century begins, the power of our magical new tool and partner, the computer, is increasi...
For some, the object of automated reasoning is the design and implementation of a program that offer...
The special issue you are browsing is the outcome of one of the final stages in an initiative commem...
Ouvrage (éditeur). ISSN: 0168-7433 Journal of Automated ReasoningThis special issue of the Journal o...
DOI
Add to ORKG