Filter
Matematisk logik
Filter
This volumecontains the papers presentedatthe SeventhInternationalC- ference on Logicfor Programmingand Automated Reasoning (LPAR 2000)held …
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.The direct …
This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Rough Sets and Current Trends in Computing, RSCTC 2000, held in Banff, …
This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia), and Vienna (Austria). The authors met several times to discuss and exchange their …
The discipline of formal concept analysis (FCA) is concerned with the form- ization of concepts and conceptual thinking. Built on the solid foundation of lattice and order theory, …
This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented …
This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial …
This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schloss Rheinfels, St. …
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, …
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Second International Workshop on …