全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用：99美元
投递稿件

为什么选择我们？ >>
- 开源期刊
- 同行审议
- 快速出刊
- 终身存储
- 免费检索
- 免费推广
- 更多...
- 搜索引擎

-

ISSN Print:

ISSN Online:

主页: https://www.annualreviews.org/journal/arcompsci

分享:




Go

Algebraic Methods for Geometric Reasoning

B. Buchberger,B. Kutzler,G. E. Collins

Protein Folding: Computational Approaches to an Exponential-Time Problem

G N Reeke, Jr

Commonsense Physics: A Review

K D Forbus

Image Analysis

T Pavlidis

Parallel Algorithmic Techniques For Combinational Computation

David Eppstein,Zvi Galil

Themes in the Development of Programming Logics CIRCA 1963-1987

Robert L. Constable

Algebraic Complexity Theory

Joachim von zur Gathen

The Lisp Experience

Gerald Jay Sussman,Harold Abelson,Jacob Katzenelson,Matthew Halfant

Computer Applications in Manufacturing

A. A. G. Requicha,H. B. Voelcker,R. W. Conway

Database Security

D E Denning

Fundamentals of Expert Systems

Bruce G. Buchanan,Reid G. Smith

Resolution Theorem Proving

Mark E. Stickel

Computational Geometry

Joseph O’Rourke

Knowledge-Based Software Tools

D R Barstow

Computer Applications in Education: A Historical Overview

D. Midian Kurland,Laura C. Kurland

Network Protocols and Tools to Help Produce Them

H Rudin

Algorithmic Geometry of Numbers

R Kannan

Computer Algebra Algorithms

E Kaltofen

Techniques and Architectures for Fault-Tolerant Computing

Daniel P. Siewiorek,Roy A. Maxion,Steven A. Elkind

Search Techniques

Judea Pearl,Richard E. Korf

Nonmonotonic Reasoning

R Reiter

Planning

M P Georgeff

Research on Automatic Verification of Finite-State Concurrent Systems

E. M. Clarke,O. Grümberg

The Emerging Paradigm of Computational Vision

S W Zucker

Linear Programming (1986)

N Megiddo

Using Reasoning About Knowledge to Analyze Distributed Systems

J Y Halpern

Common Lisp

S E Fahlman

Logic, Problem Solving, and Deduction

D V McDermott

Language Generation and Explanation

Kathleen R. McKeown,William R. Swartout

Vision and Navigation for the Carnegie-Mellon Navlab

Charles Thorpe,Martial Hebert,Steven Shafer,Takeo Kanade

Introduction

Joshua Lederberg

Preface

William Kaufmann

Computerized Reconstruction and 3-D Imaging in Medicine

Gabor T. Herman

Programming Environments Today

S P Reiss

Computer System Performance Evaluation Using Queueing Network Models

Edward D. Lazowska,John Zahorjan,Kenneth C. Sevcik

Information-Based Complexity

H Wozniakowski

Knowledge Representation and Reasoning

H J Levesque

Type Architectures, Shared Memory, and the Corollary of Modest Potential

L Snyder

Architecture and Applications of a Heterogeneous, Massively Parallel Machine

David Elliot Shaw

Advances in Compiler Technology

John Hennessy,Mahadevan Ganapathi

Frame-Buffer Display Architectures

Robert F. Sproull

Natural-Language Interfaces

Barbara J. Grosz,C. Raymond Perrault

Dado: A Tree-Structured Architecture for Artificial Intelligence Computation

Daniel P. Miranker,Salvatore J. Stolfo

Qualitative Student Models

W J Clancey

Sequential and Parallel Algorithms for Finding Maximum Matchings in Graphs

Z Galil

Dataflow Architectures

Arvind,David E. Culler

Go




©2008-2017 OALib, Inc | Public user content licensed CC-BY 4.0 unless otherwise specified. OALib ISSN Online: 2333-9721 OALib ISSN Print: 2333-9705