`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the gene...
THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. ...
This book constitutes the refereed proceedings of the First International Conference on Intellige...
This book highlights the potential of school farms to fight hunger and malnutrition by providing ...
This book highlights the potential of school farms to fight hunger and malnutrition by providing ...
This book constitutes the refereed proceedings of the 14th International Conference on Intelligen...
This book describes how logical reasoning works and puts it to the test in applications. It is se...
`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the gene...
THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. ...
`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the gene...
THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. ...
This book constitutes the refereed proceedings of the First International Conference on Intellige...