We present the history of the conference Applications of Algebra in Logic and Computer Science, whose twenty-third edition will be held in March, 2019. At the end we outline some plans for the future
The Ninth International Symposium on Logical Formalizations of Commonsense Reasoning will be held a...
This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferenc...
This issue of \textit{Facta Universitatis, Series: Mathematica and Informatics} includes a selection...
We present the history of the conference Applications of Algebra in Logic and Computer Science, whos...
The aim of the whole meeting, organized by Krzysz of Apt (president of the Association of Logic Prog...
The project "Beyond Logic" is devoted to what hypothetical reasoning is all about when we go beyond ...
“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” ...
The University Archives has determined that this item is of continuing value to OSU's history.The me...
Preface For many years the British and the German automated reasoning communities have successfully ...
The newly emerging branch of research of Computer Science received encouragement from the successors...
Science today is an international business, of course, and there has hardly ever been a partition wa...
These are the proceedings of the Logic Colloquium 2006, which was held July 27–August 2 at the Radbo...
AbstractThis volume contains the Proceedings of the 10th Workshop on Logic, Language, Information an...
The present volume collects presented at a symposium on The History of Logic held in Helsinki in Jun...
The Ninth International Symposium on Logical Formalizations of Commonsense Reasoning will be held a...
This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferenc...
This issue of \textit{Facta Universitatis, Series: Mathematica and Informatics} includes a selection...
We present the history of the conference Applications of Algebra in Logic and Computer Science, whos...
The aim of the whole meeting, organized by Krzysz of Apt (president of the Association of Logic Prog...
The project "Beyond Logic" is devoted to what hypothetical reasoning is all about when we go beyond ...
“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” ...
The University Archives has determined that this item is of continuing value to OSU's history.The me...
Preface For many years the British and the German automated reasoning communities have successfully ...
The newly emerging branch of research of Computer Science received encouragement from the successors...
Science today is an international business, of course, and there has hardly ever been a partition wa...
These are the proceedings of the Logic Colloquium 2006, which was held July 27–August 2 at the Radbo...
AbstractThis volume contains the Proceedings of the 10th Workshop on Logic, Language, Information an...
The present volume collects presented at a symposium on The History of Logic held in Helsinki in Jun...
The Ninth International Symposium on Logical Formalizations of Commonsense Reasoning will be held a...
This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferenc...
This issue of \textit{Facta Universitatis, Series: Mathematica and Informatics} includes a selection...
DOI
Add to ORKG