This book constitutes the thoroughly refereed proceedings of the 31th Annual German Conference on Artificial Intelligence, ...
اقرأ المزيدThis book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Knowledge Discovery, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...
اقرأ المزيدThis book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops ...
اقرأ المزيدThe 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
اقرأ المزيدThe 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...
اقرأ المزيدThis volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
اقرأ المزيدThe 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...
اقرأ المزيدThis book constitutes the refereed proceedings of the joint conference on Machine Learning and Knowledge Discovery in Databases: ...
اقرأ المزيدConstitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
اقرأ المزيدThis volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place ...
اقرأ المزيدConstitutes the refereed extended postproceedings of the 5th International Workshop on Membrane Computing, held in Italy, ...
اقرأ المزيدThe papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics ...
اقرأ المزيدThe present volume contains a selection of papers presented at the Seventh Workshop on Membrane Computing, WMC7, which took ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...
اقرأ المزيدFormal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...
اقرأ المزيد