Automated Reasoning with Analytic Tableaux and Related Methods
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...
اقرأ المزيد
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
اقرأ المزيد
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
اقرأ المزيدAutonomous Driving : Technical, Legal and Social Aspects
This book takes a look at fully automated, autonomous vehicles and discusses many open questions: How can autonomous vehicles ...
اقرأ المزيدBuilding an automated exam system / Hani Almoalem , Kinan Sharaf , Nour Aldeen Mardene , Omran Mohyideen and Mhd Yazan Al-Tahan ; supervised by Mustapha Dakkak هاني المعلم ، كنان شرف ، نور الدين محمود مارديني عمران محي الدين و محمد يزن الطحان ؛ إشراف مصطفى الدكاك
The project aims to build an automated exam for various exams, fields and institutions, and we have adopted in our project ...
اقرأ المزيد
Computational Discovery of Scientific Knowledge
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
اقرأ المزيد
Computational Discovery of Scientific Knowledge
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
اقرأ المزيد
Computer Aided Systems Theory – EUROCAST 2005
The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...
اقرأ المزيد
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
اقرأ المزيد
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
اقرأ المزيد
Computer Aided Verification (vol. # 3576)
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
اقرأ المزيد
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
اقرأ المزيد
Computer Mathematics : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...
اقرأ المزيد
Constraint Satisfaction Techniques for Agent-Based Reasoning
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...
اقرأ المزيد
DNA Computing (vol. # 3384)
This book constitutes the thoroughly refereed postproceedings of the 10th International Workshop on DNA Based Computers, ...
اقرأ المزيد
Declarative Programming for Knowledge Management
This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...
اقرأ المزيد
Digital Transformation in Semiconductor Manufacturing Proceedings of the 1st and 2nd European Advances in Digital Transformation Conference, EADTC 2018, Zittau, Germany and EADTC 2019, Milan, Italy
This book reports on cutting-edge electrical engineering and microelectronics solutions to foster and support digitalization ...
اقرأ المزيد
Experimental Vibration Analysis for Civil Structures : Testing, Sensing, Monitoring, and Control / Jian Zhang, Zhishen Wu, Mohammad Noori, Yong Li
Covers a wide range of topics in the areas of vibration testing, instrumentation, and analysis of civil engineering and critical ...
اقرأ المزيد
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
اقرأ المزيد
Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
اقرأ المزيد
