Search Sciweavers | Sciweavers

1151 search results - page 4 / 231

» Collaborative Programming: Applications of Logic and Automat...

Voted

ILP
1997
Springer

116views Automated Reasoning» more ILP 1997»

15 years 7 months ago

Peter A. Flach

claim paper

Read More »

click to vote

ICLP
1993
Springer

79views Automated Reasoning» more ICLP 1993»

15 years 7 months ago

Hudson Turner

claim paper

Read More »

Voted

LPAR
1993
Springer

92views Automated Reasoning» more LPAR 1993»

15 years 7 months ago

Barton C. Massey, Evan Tick

claim paper

Read More »

129

Voted

LPAR
1994
Springer

75views Automated Reasoning» more LPAR 1994»

15 years 7 months ago

Zhenhua Duan, Maciej Koutny, Chris Holt

claim paper

Read More »

click to vote

LICS
1992
IEEE

104views Automated Reasoning» more LICS 1992»

15 years 7 months ago

Sciweavers