Reasoning

A program logic for resources

Functional Programming / Design / Theoretical Computer Science / Conception / Mathematical Sciences / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS

A program logic for resources

Functional Programming / Design / Theoretical Computer Science / Conception / Mathematical Sciences / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS

Improving Self-control by Practicing Logical Reasoning

Cognitive Psychology / Self-regulation / Self-control / Reasoning / Intervention / Ego depletion

Aprenentatge interactiu a través de l\'experimentació: un laboratori virtual de psicologia bàsica

Psychology / Cognitive Psychology / Emotion / Experimental Psychology / Perception / Instructional Design / Educational Technology / Decision Making / Distance Education / Instructional Technology / Attention / Online Learning / Distance Learning / Interactive Learning Environments / Virtual Laboratory / Reasoning / Virtual Learning / Interactive Learning Technologies / Thought / Memory Cognitive Psychology / Motivation Psychology / Instructional Design / Educational Technology / Decision Making / Distance Education / Instructional Technology / Attention / Online Learning / Distance Learning / Interactive Learning Environments / Virtual Laboratory / Reasoning / Virtual Learning / Interactive Learning Technologies / Thought / Memory Cognitive Psychology / Motivation Psychology

Pre-processing time constraints for efficiently mining generalized sequential patterns

Data Mining / Sequential Pattern Mining / Reasoning / Efficient Algorithm for ECG Coding / Pattern Matching / Workshops / Sequence Mining / Workshops / Sequence Mining

Temporal Description Logics: A Survey

Computational Complexity / Reasoning / Description Logic / Boolean Satisfiability / Temporal Logic

A temporal object-oriented data model with multiple granularities

Reasoning / Workshops / Data Model / Type System / Object Oriented

Learning preferences on temporal constraints: a preliminary report

Choice and preference (Learning) / Spatial and Temporal Reasoning / Reasoning / Temporal Constraints / Temporal Information Extraction / Workshops

Developmental differences in scientific discovery processes

Psychology / Cognitive Psychology / Cognition / Experimental Design / Learning / Problem Solving / Models / Reasoning / Shape / Hypotheses / Scientific Discovery / Problem Solving / Models / Reasoning / Shape / Hypotheses / Scientific Discovery

Developmental differences in scientific discovery processes

Psychology / Cognitive Psychology / Cognition / Experimental Design / Learning / Problem Solving / Models / Reasoning / Shape / Hypotheses / Scientific Discovery / Problem Solving / Models / Reasoning / Shape / Hypotheses / Scientific Discovery

¿EXISTEN DIFERENCIAS ENTRE EL RAZONAMIENTO DE LOS ESTUDIANTES DE MATEMÁTICAS Y EL DE LA POBLACIÓN GENERAL? LA TEORÍA DUAL DE RAZONAMIENTO Y LA TAREA DE SELECCIÓN DE WASON

Cognition / Mathematical Logic / Reasoning / Logical Thinking

A relational model for confined separation logic

Software Engineering / Object Oriented Programming / Informatics / Semantics / Logic Programming / Relational Algebra / Reasoning / Separation Logic / Relational Model / Shape / Encapsulation / Mathematical Model / Logic Design / Relational calculus / Object Oriented Program / Relational Algebra / Reasoning / Separation Logic / Relational Model / Shape / Encapsulation / Mathematical Model / Logic Design / Relational calculus / Object Oriented Program

Problemas sobre la distinción entre razonamientos deductivos e inductivos y su enseñanza

Logic / Teaching / Reasoning / Validity / Innovacion Educativa / Logical Thinking

Silogismo Teórico, Razonamiento Práctico y Raciocinio Retórico-Dialéctico

Practical Reasoning / Knowledge / Reasoning

Non-Cognitivism and Inconsistency

Philosophy / Pragmatics / Rationality / Reasoning / Belief / Consistency

Non-Cognitivism and Inconsistency

Philosophy / Pragmatics / Rationality / Reasoning / Belief / Consistency

Copyright © 2017 DATOSPDF Inc.