Sage Journals: Discover world-class research

Retricted access

Research article

First published 1977

PPC (Pisa Proof Checker): a tool for experiments in theory of proving and mathematical theory of computation

Luigia Aiello, Mario Aiello, Giuseppe Attardi [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1985-12

Superstitious Behavior in a Robot: A Mathematical Model and Computer Simulation Based on Adams' Theory of Motor Learning

Willard L. Brigner

Perceptual and Motor Skills

Retricted access

Research article

First published 2014-2

Biological,computational and robotic connections with Kant's theory of mathematical knowledge

Aaron Sloman

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2026-3

Computational design techniques for generating specific Girih patterns: A particular focus on algorithmic design and graph theory

Delara Razzaghmanesh, Ethem Gürer

International Journal of Architectural Computing

Retricted access

Research article

First published 1998-2

Bootstraps and Jackknives: New,Computer-Intensive Statistical Tools that Require No Mathematical Theories

David A. Fiellin, Alvan R. Feinstein

Journal of Investigative Medicine

Retricted access

Research article

First published 2020-5-13

Ramsey’s theorem and products in the Weihrauch degrees

Damir D. Dzhafarov, Jun Le Goh, Denis R. Hirschfeldt [...]

Computability

Retricted access

Research article

First published 2020-8-3

Some results concerning the SRT 2 2 vs. COH problem

Peter A. Cholak, Damir D. Dzhafarov, Denis R. Hirschfeldt [...]

Computability

Retricted access

Research article

First published 1997-8

Natural Computation for Natural Language

Carlos Martín-Vide

Fundamenta Informaticae

Retricted access

Research article

First published 2021-7

Invisible Hands and Fine Calipers: A Call to Use Formal Theory as a Toolkit for Theory Construction

Donald J. Robinaugh, Jonas M. B. Haslbeck, Oisín Ryan [...]

Perspectives on Psychological Science

Retricted access

Research article

First published 2007-10

Engagement with Mathematics Courseware in Traditional and Online Remedial Learning Environments: Relationship to Self-Efficacy and Achievement

Dianna J. Spence, Ellen L. Usher

Journal of Educational Computing Research

Search results