Search Sciweavers | Sciweavers

1151 search results - page 5 / 231

» Collaborative Programming: Applications of Logic and Automat...

click to vote

PLILP
1992
Springer

86views Programming Languages» more PLILP 1992»

UCG-E: An Equational Logic Programming System

14 years 1 months ago

Download homepage.cs.uri.edu

Lutz H. Hamel

claim paper

Read More »

click to vote

ICLP
1990
Springer

139views Automated Reasoning» more ICLP 1990»

Logic Programming and Databases

14 years 1 months ago

Download sp.cmc.msu.ru

Catriel Beeri

claim paper

Read More »

click to vote

ICLP
1990
Springer

123views Automated Reasoning» more ICLP 1990»

Logic Programs with Classical Negation

14 years 1 months ago

Download www.cs.uni-potsdam.de

Michael Gelfond, Vladimir Lifschitz

claim paper

Read More »

click to vote

ICLP
1990
Springer

94views Automated Reasoning» more ICLP 1990»

Parallel Logic Programming Systems

14 years 1 months ago

Download www.dcc.fc.up.pt

Jacques Chassin de Kergommeaux

claim paper

Read More »

click to vote

ASP
2001
Springer

95views Automated Reasoning» more ASP 2001»

On the Epistemological foundations of Logic Programming and its Extensions

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers