Andere Kunden interessierten sich auch für
![Mathematical Logic and Computation]( "Mathematical Logic and Computation")
Mathematical Logic and Computation73,99 €![Derivation and Computation]( "Derivation and Computation")
Derivation and Computation155,99 €![Abstract Consequence and Logics]( "Abstract Consequence and Logics")
Abstract Consequence and Logics26,99 €![Feynman Lectures on Computation]( "Feynman Lectures on Computation")
Feynman Lectures on Computation58,99 €![Elements of Mathematics]( "Elements of Mathematics")
Elements of Mathematics18,99 €![Bounded Arithmetic, Propositional Logic and Complexity Theory]( "Bounded Arithmetic, Propositional Logic and Complexity Theory")
Bounded Arithmetic, Propositional Logic and Complexity Theory180,99 €![Automated Model Building]( "Automated Model Building")
Automated Model Building183,99 €
This volume celebrates Amílcar Sernadas' (1952--2017) highly significant and original scientific contributions, as well as his outstanding academic career. This compilation of articles by colleagues, former students and friends was prepared in the months that followed the Conference in Honour of Amílcar, which was held at the Instituto Superior Técnico in April 2016, to celebrate his 64th birthday.