Search Sciweavers | Sciweavers

3535 search results - page 169 / 707

» Logic Program Specialisation

243

click to vote

SEFM
2005
IEEE

231views Software Engineering» more SEFM 2005»

Logical Foundations of Program Assertions: What do Practitioners Want?

15 years 12 months ago

Download users.encs.concordia.ca

Patrice Chalin

claim paper

Read More »

144

click to vote

SAC
2005
ACM

122views Applied Computing» more SAC 2005»

Agent oriented logic programming in Jinni 2004

15 years 12 months ago

Download jo.ecs.fullerton.edu

Paul Tarau

claim paper

Read More »

158

click to vote

WCFLP
2005
ACM

239views Artificial Intelligence» more WCFLP 2005»

Constraint logic programming over sets of spatial objects

15 years 12 months ago

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez

claim paper

Read More »

102

click to vote

BIRTHDAY
2005
Springer

83views Applied Computing» more BIRTHDAY 2005»

Specifying, Programming and Verifying with Equational Logic

15 years 12 months ago

Download cseweb.ucsd.edu

Joseph A. Goguen, Kai Lin

claim paper

Read More »

139

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers