Вы здесь

Главная

Univ.Toronto

Связанные издания:

A Formal Theory of Indexical Knowledge and Action
A Link Between Knowledge and Communication in Faulty Distributed Systems
A Micro-Organizational Model for Supporting Knowledge Migration
An Ontology and Possible-Worlds Semantics for Telos
A Study of Natural Language Quantification and Anaphora Through Families of Sets and Binary Relations
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection
Declarative Query Languages for Object-Oriented Databases
Default Priorities as Epistemic Entrenchment
Expressing Structural Hypertext Queries in Grapholog
From Information System Requirements to Designs: A Mapping Framework
GraphLog: a Visual Formalism for Real Life Recursion
Healthiness Versus Realizability in Predicate Transformers
Heterogeneous Distributed Shared Memory
Intelligent Computer-Assisted Instruction in Syntactic Style
Knowledge and Work The Challenge of Intelligent Information Systems
Office and Data Based Systems Research 89
Preliminary Report on Inaccessible Worlds and Irrelevance
Productivity and Computers in Canadian Banking
Spectur - A Specification Language for the Programmer
Study of Command Usage in Three UNIX Command Interpreters
The Computational Codification of the Semantic Aspects of Style
The Implementation of a Concurrent Compiler
The Translation of Basic Topological Prepositions from English into French
Time-Constrained Memory for Reader-Based Text Comprehension
Viewing Conditional Logics of Normality as Extensions of the Modal System S4
Xsketch: a multi-user sketching tool for X11