Amanote Research
Register
Sign In
Ontic: A Knowledge Representation System for Mathematics
doi 10.1007/bfb0012876
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
David McAllester
Publisher
Springer-Verlag
Related search
Knowledge Representation in Controlling Sub-System
Knowledge Representation-Oriented Nets for Discrete Event System Applications
IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Control
Systems Engineering
Information Systems
Human-Computer Interaction
Electronic Engineering
Computer Science Applications
Electrical
Software
Research on Knowledge Representation in Expert System
A Knowledge Representation and Reasoning Module for a Dialogue System in a Mobile Robot
Logics for Knowledge Representation
Knowledge Representation Approach to Closed Loop Control System - A Tank System Case-Study
A Cognition-Inspired Knowledge Representation Approach for Knowledge-Based Interpretation Systems
Mathematics: The Basis for Quantitative Knowledge
Water, Air, and Soil Pollution
Environmental Engineering
Environmental Chemistry
Water Science
Technology
Ecological Modeling
Pollution
Algebraic Approach to System Knowledge Representation in Intelligent Automated System of Teaching and Knowledge Control
Vektor nauki Tol'yattinskogo gosudarstvennogo universiteta
