Search Sciweavers | Sciweavers

15777 search results - page 170 / 3156

» The Reformulation-Optimization Software Engine

click to vote

AADEBUG
1993
Springer

123views Software Engineering» more AADEBUG 1993»

Debugging Logic Programs Using Specifications

14 years 9 days ago

Download www.cs.tau.ac.il

Yuh-Jeng Lee, Nachum Dershowitz

claim paper

Read More »

click to vote

AC
1993
Springer

80views Software Engineering» more AC 1993»

Automatic Groups and String Rewriting

14 years 9 days ago

Download www.math.stevens.edu

Robert H. Gilman

claim paper

Read More »

click to vote

AC
1993
Springer

77views Software Engineering» more AC 1993»

Examples of Termination

14 years 9 days ago

Download www.cs.tau.ac.il

Nachum Dershowitz

claim paper

Read More »

click to vote

AC
1993
Springer

77views Software Engineering» more AC 1993»

Introduction to Rewriting

14 years 9 days ago

Download web.cecs.pdx.edu

Jean-Pierre Jouannaud

claim paper

Read More »

click to vote

APL
1994
ACM

109views Software Engineering» more APL 1994»

Probabilistic Studies of I Ching with Use of APL

14 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers