Search Sciweavers | Sciweavers

3725 search results - page 24 / 745

» DLP System Description

click to vote

CADE
2005
Springer

102views Logical Reasoning» more CADE 2005»

System Description: Multi A Multi-strategy Proof Planner

14 years 3 months ago

Download www.activemath.org

Andreas Meier, Erica Melis

claim paper

Read More »

click to vote

JELIA
2004
Springer

129views Artificial Intelligence» more JELIA 2004»

Abductive Logic Programming with CIFF: System Description

14 years 3 months ago

Download staff.science.uva.nl

Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...

claim paper

Read More »

click to vote

DATE
2002
IEEE

105views Hardware» more DATE 2002»

Functional Verification for SystemC Descriptions Using Constraint Solving

14 years 2 months ago

Download www.scarpaz.com

Fabrizio Ferrandi, Michele Rendine, Donatella Sciu...

claim paper

Read More »

click to vote

ICEIS
2002
IEEE

78views Information Technology» more ICEIS 2002»

A Model for Advanced Query Capability Description in Mediator Systems

14 years 2 months ago

Download www.tic.udc.es

Alberto Pan, Paula Montoto, Anastasio Molano, Manu...

claim paper

Read More »

click to vote

CADE
2009
Springer

121views Logical Reasoning» more CADE 2009»

System Description: H-PILoT

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers