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 9 months ago

TAME: Using PVS strategies for special-purpose theorem proving

Download www.nrl.navy.mil

Myla Archer

claim paper

Read More »

31

AMAI
2000
Springer

124views Artificial Intelligence» more AMAI 2000»

Natural language processing and intelligent interfaces

13 years 9 months ago

Natural language processing and intelligent interfaces

Download www.cis.strath.ac.uk

Oliviero Stock

claim paper

Read More »

22

AMAI
2000
Springer

99views Artificial Intelligence» more AMAI 2000»

A taxonomy of parallel strategies for deduction

13 years 9 months ago

A taxonomy of parallel strategies for deduction

Download profs.sci.univr.it

Maria Paola Bonacina

claim paper

Read More »

23

AMAI
2000
Springer

97views Artificial Intelligence» more AMAI 2000»

Editor's remarks

13 years 9 months ago

Editor's remarks

Download www.transportation.alberta.ca

Martin Charles Golumbic

claim paper

Read More »

34

AMAI
2000
Springer

117views Artificial Intelligence» more AMAI 2000»

A survey of temporal extensions of description logics

13 years 9 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 »