5 Ebook di Harrie de Swart
Harrie de Swart: Philosophical and Mathematical Logic
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 (theoretic …
PDF
Inglese
DRM
€57.61
Ewa Orlowska & Marc Roubens: Theory and Applications of Relational Structures as Knowledge Instruments
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 …
PDF
Inglese
DRM
€57.84
Ewa Orlowska & Marc Roubens: Theory and Applications of Relational Structures as Knowledge Instruments II
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 …
PDF
Inglese
DRM
€57.94
Harrie de Swart: Automated Reasoning with Analytic Tableaux and Related Methods
…
PDF
Inglese
DRM
€92.72
Harrie de Swart: Relational and Algebraic Methods in Computer Science
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. Th …
PDF
Inglese
DRM
€58.02