Andere Kunden interessierten sich auch für
![Computational Models of Rationality. Essays Dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday]( "Computational Models of Rationality. Essays Dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday")
Computational Models of Rationality. Essays Dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday26,99 €![Computational Logic]( "Computational Logic")
Computational Logic32,99 €![Introduction to Propositional Satisfiability]( "Introduction to Propositional Satisfiability")
Introduction to Propositional Satisfiability27,99 €![The Haskell Road to Logic, Maths and Programming. Second Edition]( "The Haskell Road to Logic, Maths and Programming. Second Edition")
The Haskell Road to Logic, Maths and Programming. Second Edition29,99 €![Domain-Specific Languages of Mathematics]( "Domain-Specific Languages of Mathematics")
Domain-Specific Languages of Mathematics22,99 €![Handbook of Formal Argumentation]( "Handbook of Formal Argumentation")
Handbook of Formal Argumentation41,99 €![Many-Valued Logics]( "Many-Valued Logics")
Many-Valued Logics25,99 €
This book is a Festschrift dedicated to Klaus-Dieter Schewe on the occasion of his 60th birthday. It contains contributions by his students, colleagues, and friends. The articles, written by computer scientists, mathematicians, and logicians, address recent research trends in areas such as rigorous methods, databases, mathematical reasoning and conceptual modeling.