5

Computing with default logic

Year:
1999
Language:
english
File:
PDF, 508 KB
english, 1999
6

Synthesis of pyrethroids via epxoyamide cyclization

Year:
1982
Language:
english
File:
PDF, 168 KB
english, 1982
8

Uniform semantic treatment of default and autoepistemic logics

Year:
2003
Language:
english
File:
PDF, 357 KB
english, 2003
11

Publication Bias: A Brief Review for Clinicians

Year:
2000
Language:
english
File:
PDF, 4.59 MB
english, 2000
19

Novel Ribbon-Shaped α-Al2O3 Fibers

Year:
1998
Language:
english
File:
PDF, 709 KB
english, 1998
28

Annotated revision programs

Year:
2002
Language:
english
File:
PDF, 256 KB
english, 2002
31

Revision programming

Year:
1998
Language:
english
File:
PDF, 2.50 MB
english, 1998
35

Tuftsin induced tumor necrosis activity

Year:
1987
Language:
english
File:
PDF, 482 KB
english, 1987
36

Preface

Year:
1994
Language:
english
File:
PDF, 142 KB
english, 1994
38

Logic programming with infinite sets

Year:
2005
Language:
english
File:
PDF, 399 KB
english, 2005
39

Toward Automating the Discovery of Decreasing Measures

Year:
2005
Language:
english
File:
PDF, 320 KB
english, 2005
42

The complexity of recursive constraint satisfaction problems

Year:
2009
Language:
english
File:
PDF, 701 KB
english, 2009