Search Sciweavers | Sciweavers

23413 search results - page 251 / 4683

» or 2005

146

click to vote

BTW
2005
Springer

94views Database» more BTW 2005»

Unified Querying of Ontology Languages with the SIRUP Ontology Query API

16 years 2 days ago

Download www.ifi.uzh.ch

Patrick Ziegler, Christoph Sturm, Klaus R. Dittric...

claim paper

Read More »

128

click to vote

BVAI
2005
Springer

72views Artificial Intelligence» more BVAI 2005»

Towards a Dynamic Neuropharmacology: Integrating Network and Receptor Levels

16 years 2 days ago

Download www.math.bme.hu

Péter Érdi, János Tóth

claim paper

Read More »

150

click to vote

CADE
2005
Springer

102views Logical Reasoning» more CADE 2005»

System Description: Multi A Multi-strategy Proof Planner

16 years 2 days ago

Download www.activemath.org

Andreas Meier, Erica Melis

claim paper

Read More »

183

click to vote

CADE
2005
Springer

126views Logical Reasoning» more CADE 2005»

Hierarchic Reasoning in Local Theory Extensions

16 years 2 days ago

Download www.mpi-inf.mpg.de

Viorica Sofronie-Stokkermans

claim paper

Read More »

130

click to vote

CAEPIA
2005
Springer

69views Artificial Intelligence» more CAEPIA 2005»

Propagating Updates in Real-Time Search: HLRTA*(k)

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers