- //
- Start
- //
- Journals
- //
- Journal of Automated Reasoning
- //
Journal of Automated Reasoning, 0168-7433
Journal
Recently viewed
Publications
- Denoising and harmonic detection using nonorthogonal wavelet packets in industrial applications
- Discourse, practice, policy and organizing
- Consular Assistance: Rights, Remedies, and Responsibility Comments on the ICJ's Judgment in the LaGrand Case
- Supporting non-hierarchical supply chain networks in the electronics industry
- Assessment of cognitive load in multimedia learning with dual-task methodology
- The dependency of the banks’ assets and liabilities
- Crises at Work: Potentials for Change?
- Recruitment practices in small and medium size enterprises.
- Towards a heuristic for assessing adaptation knowledge: impacts, implications, decisions and actions
- Towards combined methods for recording ground beetles
- On walks in molecular graphs.
- Correlation between Isometric Maximum Strength and One Repetition Maximum in the Calf Muscle in Extended and Bended Knee Joint
- Efficacy of a Self-Help Web-Based Recovery Training in Improving Sleep in Workers
- Analyzing Emotional Styles in the Field of Christian Religion and The Relevance of New Types of Visualization
- Do You Like What You (Can't) See? The Differential Effects of Hardware and Software Upgrades on High-Tech Product Evaluations
- Indicators for relational values of nature’s contributions to good quality of life
- Language Model Transformers as Evaluators for Open-domain Dialogues
- Plant traits alone are poor predictors of ecosystem properties and long-term ecosystem functioning
- Understanding Context Collapse for Social Media Users
- Horizontal, but not vertical canopy structure is related to stand functional diversity in a subtropical slope forest
- Explaining Age and Gender Differences in Employment Rates
- Recurring patterns and blueprints of industrial symbioses as structural units for an it tool
- Modeling of microstructural pattern formation in crystal plasticity
- Ludic interfaces
- Induced Technological Change: Exploring its Implications for the Economics of Atmospheric Stabilization
- Trust in scientists, risk perception, conspiratorial beliefs, and unrealistic optimism
- Structure as Infrastructure: The Interrelation of Fiber and Construction
- On the Epistemology of Computer Simulation
- Effects of strategy instructions on learning from text and pictures
- States of Comparability