Search Sciweavers | Sciweavers

4573 search results - page 92 / 915

» Automated Reasoning

ILP
2001
Springer

83views Automated Reasoning» more ILP 2001»

15 years 7 months ago

Rene Quiniou, Marie-Odile Cordier, Guy Carrault, F...

claim paper

Read More »

120

Voted

LPAR
2001
Springer

95views Automated Reasoning» more LPAR 2001»

15 years 7 months ago

Francisco Javier López-Fraguas, Jaime S&aac...

claim paper

Read More »

Voted

LPNMR
2001
Springer

99views Automated Reasoning» more LPNMR 2001»

15 years 7 months ago

Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...

claim paper

Read More »

click to vote

LICS
2000
IEEE

113views Automated Reasoning» more LICS 2000»

15 years 7 months ago

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

click to vote

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

15 years 7 months ago

Sciweavers