Filter
Diskret matematik
Filter
This two-volume set LNAI 7523 and LNAI 7524 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD …
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Automated Deduction in Geometry, ADG 2008, held in Shanghai, China in …
This book is the proceedings of the Second International Conference on Conceptual Structures, ICCS '94, held at College Park, Maryland, USA in August 1994.This proceedings …
This book constitutes the thoroughly refereed joint post-proceedings of the Third International Workshop on Mining Ubiquitous and Social Environments, MUSE 2012, held in Bristol, …
This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 …
This book constitutes the thoroughly refereed proceedings of the Fourth International Conference on Mathematics and Computation in Music, MCM 2013, held in Montreal, Canada, in …
This three-volume set LNAI 8188, 8189 and 8190 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD …
This book constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, …
This volume presents the papers contributed to ?EON 2008, the 10th Int- national Conference on Deontic Logic in Computer Science, held in Fiesole (Florence), July 7-9, 2010. This …
TheAssociationforMathematicsofLanguage(MOL)istheACLspecialinterest groupdedicated to the study of MathematicalLinguistics. After its ?rst meeting in 1984, the association has been …