D-Script: A Computational Theory of Descriptions

IEEE Transactions on Computers - United States
doi 10.1109/tc.1976.1674619
Full Text
Abstract

Available in full text

Date
Authors

Unknown

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

A Computational Theory of Learning Causal Relationships

Cognitive Science
Cognitive PsychologyExperimentalArtificial IntelligenceCognitive Neuroscience
1991English

Computational Number Theory

2017English

A Computational Interpretation of Forcing in Type Theory

2012English

A Computational Complexity Theory in Membrane Computing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A New Computational Method for Cable Theory Problems

Biophysical Journal
Biophysics
1993English

Information Theory in Computational Biology

2019English

Computational Methods and Function Theory

Lecture Notes in Mathematics
Number TheoryAlgebra
1990English

Computational Semantics in Type Theory

Mathématiques et sciences humaines
2004English

Proof Theory and Computational Analysis

BRICS Report Series
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy