Introduction to the Technique of Formative Processes in Set Theory Cantone Domenico Innbundet / 2018 / Engelsk
Introduction to the Technique of Formative Processes in Set Theory Cantone Domenico Heftet / 2019 / Engelsk
Set Theory for Computing From Decision Procedures to Declarative Programming with Sets Cantone Domenico Innbundet / 2001 / Engelsk
Set Theory for Computing From Decision Procedures to Declarative Programming with Sets Cantone Domenico Heftet / 2011 / Engelsk
Computational Logic and Set Theory Applying Formalized Logic to Analysis Schwartz Jacob T. Heftet / 2014 / Engelsk
Computational Logic and Set Theory Applying Formalized Logic to Analysis Schwartz Jacob T. Innbundet / 2011 / Engelsk
From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career Cantone Domenico Heftet / 2024 / Engelsk
