Sciweavers

10 search results - page 1 / 2

» amai 2000

23

AMAI
2000
Springer

77views Artificial Intelligence» more AMAI 2000»

TAME: Using PVS strategies for special-purpose theorem proving

13 years 10 months ago

TAME: Using PVS strategies for special-purpose theorem proving

Download www.nrl.navy.mil

Myla Archer

claim paper

Read More »

32

Voted

AMAI
2000
Springer

124views Artificial Intelligence» more AMAI 2000»

Natural language processing and intelligent interfaces

13 years 10 months ago

Natural language processing and intelligent interfaces

Download www.cis.strath.ac.uk

Oliviero Stock

claim paper

Read More »

23

AMAI
2000
Springer

99views Artificial Intelligence» more AMAI 2000»

A taxonomy of parallel strategies for deduction

13 years 10 months ago

A taxonomy of parallel strategies for deduction

Download profs.sci.univr.it

Maria Paola Bonacina

claim paper

Read More »

25

AMAI
2000
Springer

97views Artificial Intelligence» more AMAI 2000»

Editor's remarks

13 years 10 months ago

Editor's remarks

Download www.transportation.alberta.ca

Martin Charles Golumbic

claim paper

Read More »

35

AMAI
2000
Springer

117views Artificial Intelligence» more AMAI 2000»

A survey of temporal extensions of description logics

13 years 10 months ago

A survey of temporal extensions of description logics

Download www.inf.unibz.it

principled ones

Alessandro Artale, Enrico Franconi

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »