Sciweavers

16790 search results - page 228 / 3358

» A Future for Software Engineering

34

AADEBUG
1993
Springer

123views Software Engineering» more AADEBUG 1993»

Debugging Logic Programs Using Specifications

14 years 2 months ago

Debugging Logic Programs Using Specifications

Download www.cs.tau.ac.il

Yuh-Jeng Lee, Nachum Dershowitz

claim paper

Read More »

23

AC
1993
Springer

80views Software Engineering» more AC 1993»

Automatic Groups and String Rewriting

14 years 2 months ago

Automatic Groups and String Rewriting

Download www.math.stevens.edu

Robert H. Gilman

claim paper

Read More »

13

AC
1993
Springer

77views Software Engineering» more AC 1993»

Examples of Termination

14 years 2 months ago

Examples of Termination

Download www.cs.tau.ac.il

Nachum Dershowitz

claim paper

Read More »

16

AC
1993
Springer

77views Software Engineering» more AC 1993»

Introduction to Rewriting

14 years 2 months ago

Introduction to Rewriting

Download web.cecs.pdx.edu

Jean-Pierre Jouannaud

claim paper

Read More »

24

APL
1994
ACM

109views Software Engineering» more APL 1994»

Probabilistic Studies of I Ching with Use of APL

14 years 2 months ago

Probabilistic Studies of I Ching with Use of APL

Download www.luksha.ru

Pavel Luksha

claim paper

Read More »

« Prev « First page 228 / 3358 Last » Next »