Search Sciweavers | Sciweavers

17298 search results - page 67 / 3460

» Abstract computing machines

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

15 years 9 months ago

Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...

claim paper

Read More »

click to vote

SCAM
2005
IEEE

59views Software Engineering» more SCAM 2005»

15 years 8 months ago

Markus Schordan, Daniel J. Quinlan

claim paper

Read More »

click to vote

TACAS
2004
Springer

114views Algorithms» more TACAS 2004»

15 years 8 months ago

Greta Yorsh, Thomas W. Reps, Shmuel Sagiv

claim paper

Read More »

104

LICS
2002
IEEE

128views Automated Reasoning» more LICS 2002»

15 years 8 months ago

Daniel Leivant

claim paper

Read More »

click to vote

GECCO
2010
Springer

160views Optimization» more GECCO 2010»

15 years 7 months ago

Sciweavers