Search Sciweavers | Sciweavers

3776 search results - page 114 / 756

» Partition-Based Logical Reasoning

DLOG
2008

83views Automated Reasoning» more DLOG 2008»

15 years 5 months ago

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau,...

claim paper

Read More »

click to vote

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

15 years 4 months ago

Daniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong, Je...

claim paper

Read More »

click to vote

CL
2008
Springer

102views Automated Reasoning» more CL 2008»

15 years 3 months ago

Johan Brichau, Andy Kellens, Kris Gybels, Kim Mens...

claim paper

Read More »

110

Voted

RR
2010
Springer

265views Automated Reasoning» more RR 2010»

15 years 1 months ago

Domenico Lembo, Maurizio Lenzerini, Riccardo Rosat...

claim paper

Read More »

Voted

DLOG
2010

109views Automated Reasoning» more DLOG 2010»

15 years 1 months ago

Sciweavers