Automatic exploitation of OR-parallelism in Prolog /
Carole Klein.

Description

Tools

Cite this Export citation file

Main Author: Klein, Carole Susan.
Language(s): English
Published: Cambridge, England : University of Cambridge Computer Laboratory, [1992]
Subjects: Automatic theorem proving > Automatic theorem proving / Computer programs.
Oracles.
Parallelism (Linguistics)
Prolog (Computer program language)
Physical Description: 18 p. : ill. ; 22 cm.
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	University of California

View HathiTrust MARC record

Similar Items

Sociological research

Published: 1992

Russian studies in history

Published: 1992

Population projections area

Author: Great Britain. Office of Population Censuses and Surveys.
Published: 1991

Geophysical journal

Author: European Geophysical Society
Published: 1988

Cardiovascular critical care

Author: Mason, Celestine B.
Published: 1987

Multidimensional scaling : history, theory, and applications

Author: Young, Forrest W.
Published: 1987

The dilemma of development in the Arabian Peninsula

Author: Osama, Abdul Rahman, 1942-
Published: 1987

Case studies in psychiatry for the house officer

Author: Tomb, David A.
Published: 1987

Computer mapping, design, and geographical information system options for Arlington County

Author: Arlington County, Va. Computer Mapping Task Force.
Published: 1987

Cloudy mountains : Kao Kʻo-kung (1248-1310) and the Mi tradition

Author: Brizendine, Curtis Hansman.
Published: 1992