Search Sciweavers | Sciweavers

144 search results - page 10 / 29

» corr 2000

Voted

CORR
2000
Springer

92views Education» more CORR 2000»

DISCO: An object-oriented system for music composition and sound design

14 years 10 months ago

Download ems.music.uiuc.edu

Hans G. Kaper, Sever Tipei, Jeff M. Wright

claim paper

Read More »

click to vote

CORR
2000
Springer

63views Education» more CORR 2000»

Verifying Termination and Error-Freedom of Logic Programs with block Declarations

14 years 10 months ago

Download eprints.whiterose.ac.uk

Jan-Georg Smaus, Patricia M. Hill, Andy King

claim paper

Read More »

click to vote

CORR
2000
Springer

62views Education» more CORR 2000»

SLT-Resolution for the Well-Founded Semantics

14 years 10 months ago

Download lcs.ios.ac.cn

Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You

claim paper

Read More »

click to vote

CORR
2000
Springer

73views Education» more CORR 2000»

Structure of some sand pile model

14 years 10 months ago

Download www-rp.lip6.fr

Matthieu Latapy, Roberto Mantaci, Michel Morvan, H...

claim paper

Read More »

Voted

CORR
2000
Springer

82views Education» more CORR 2000»

Representation results for defeasible logic

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers