Harrie de Swart – författare
Visar alla böcker från författaren Harrie de Swart. Handla med fri frakt och snabb leverans.
11 produkter
Philosophical and Mathematical Logic
Inbunden, 2018
506 kr
Lägg i varukorg
This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, …
Philosophical and Mathematical Logic
E-bok, 2018
734 kr
Lägg i varukorg
This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, …
Elections and Fair Division
An Introduction to Social Choice Theory
Av Harrie de Swart, Stefan Wintein
Inbunden, 2025
1098 kr
Lägg i varukorg
This graduate textbook introduces to social choice theory, with a specific focus on elections and fair division, supported by mathematical theories and practical implications. Part I sheds light on the complexity of fair elections, and presents classical results from social choice theory, including …
Elections and Fair Division
An Introduction to Social Choice Theory
Av Stefan Wintein, Harrie de Swart
E-bok, 2025
1459 kr
Lägg i varukorg
This graduate textbook introduces to social choice theory, with a specific focus on elections and fair division, supported by mathematical theories and practical implications. Part I sheds light on the complexity of fair elections, and presents classical results from social choice theory, including …
Theory and Applications of Relational Structures as Knowledge Instruments
COST Action 274, TARSKI, Revised Papers
Av Harrie de Swart, Ewa Orlowska m. fl.
Häftad, 2003
569 kr
Lägg i varukorg
Relational structures abound in our daily environment: relational databases, data mining, scaling procedures, preference relations, etc. As the documentation of scientific results achieved within the European COST Action 274, TARSKI, this book advances the understanding of relational structures and …
Theory and Applications of Relational Structures as Knowledge Instruments
COST Action 274, TARSKI, Revised Papers
Av Marc Roubens, Gunther Schmidt m. fl.
E-bok, 2004
739 kr
Lägg i varukorg
Relational structures abound in our daily environment: relational databases, data mining, scaling procedures, preference relations, etc. As the documentation of scientific results achieved within the European COST Action 274, TARSKI, this book advances the understanding of relational structures and …
Theory and Applications of Relational Structures as Knowledge Instruments II
International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
Av Harrie de Swart, Ewa Orlowska m. fl.
Häftad, 2006
569 kr
Lägg i varukorg
This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), TARSKI: Theory and - plications of Relational Structures as Knowledge Instruments. Relational structures abound in the daily environment: relational databases, …
Theory and Applications of Relational Structures as Knowledge Instruments II
International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
Av Marc Roubens, Gunther Schmidt m. fl.
E-bok, 2007
755 kr
Lägg i varukorg
This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), TARSKI: Theory and - plications of Relational Structures as Knowledge Instruments. Relational structures abound in the daily environment: relational databases, …
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX''98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings
E-bok, 2003
1183 kr
Lägg i varukorg
Relational and Algebraic Methods in Computer Science
12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings
Häftad, 2011
569 kr
Lägg i varukorg
This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam, The Netherlands, in May/June 2011.This conference merges the RelMICS (Relational Methods in Computer Science) and AKA (Applications of …
Relational and Algebraic Methods in Computer Science
12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam, The Netherlands, in May/June 2011.This conference merges the RelMICS (Relational Methods in Computer Science) and AKA (Applications of …
