Symbolic Computation - Böcker

Knowledge Frontier

Essays in the Representation of Knowledge

Reduce

Software for Algebraic Computation

Abductive Inference Models for Diagnostic Problem-Solving

Abductive Inference Models for Diagnostic Problem-Solving

Exploration and Innovation in Design

Towards a Computational Model

Parallel Algorithms for Machine Intelligence and Vision

Logic Grammars

Natural Language Generation Systems

Knowledge Frontier

Essays in the Representation of Knowledge

Computers in Chess

Solving Inexact Search Problems

Search in Artificial Intelligence

Qualitative Process Theory Using Linguistic Variables

Principles of Artificial Intelligence

Catalogue of Artificial Intelligence Tools

Introduction to Default Logic

Engineering Databases

Connecting Islands of Automation Through Databases

Introduction to Default Logic

Theory of Heuristic Information in Game-Tree Search

CGM and CGI

Metafile and Interface Standards for Computer Graphics

Engineering Databases

Connecting Islands of Automation Through Databases

Computer Graphics Programming

GKS — The Graphics Standard

Computation of Language

An Essay on Syntax, Semantics and Pragmatics in Natural Man-Machine Communication

Automation of Reasoning

Classical Papers on Computational Logic 1957–1966

Automation of Reasoning

2: Classical Papers on Computational Logic 1967–1970

Design of Interpreters, Compilers, and Editors for Augmented Transition Networks

Natural Language Communication with Pictorial Information Systems

Product Data Interfaces in CAD/CAM Applications

Design, Implementation and Experiences

Three-Dimensional Computer Vision

Computational Models of Learning