Sciweavers

79 search results - page 6 / 16

» birthday 2005

21

BIRTHDAY
2005
Springer

115views Applied Computing» more BIRTHDAY 2005»

Modal Logics for Metric Spaces: Open Problems

14 years 3 months ago

Modal Logics for Metric Spaces: Open Problems

Download www.dcs.bbk.ac.uk

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

claim paper

Read More »

20

BIRTHDAY
2005
Springer

147views Applied Computing» more BIRTHDAY 2005»

Bridging Theorem Proving and Mathematical Knowledge Retrieval

13 years 11 months ago

Bridging Theorem Proving and Mathematical Knowledge Retrieval

Download www.ags.uni-sb.de

Christoph Benzmüller, Andreas Meier, Volker S...

claim paper

Read More »

14

BIRTHDAY
2005
Springer

96views Applied Computing» more BIRTHDAY 2005»

Sharing in the Weak Lambda-Calculus

14 years 3 months ago

Sharing in the Weak Lambda-Calculus

Download pauillac.inria.fr

Tomasz Blanc, Jean-Jacques Lévy, Luc Marang...

claim paper

Read More »

10

BIRTHDAY
2005
Springer

73views Applied Computing» more BIRTHDAY 2005»

Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology

14 years 3 months ago

Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology

Download www.cs.man.ac.uk

Howard Barringer, Dov M. Gabbay, John Woods

claim paper

Read More »

17

BIRTHDAY
2005
Springer

111views Applied Computing» more BIRTHDAY 2005»

Visualization in Digital Libraries

14 years 3 months ago

Visualization in Digital Libraries

Download www.dis.uniroma1.it

Enrico Bertini, Tiziana Catarci, Lucia Di Bello, S...

claim paper

Read More »

« Prev « First page 6 / 16 Last » Next »