1

How to Write a Technical Book and Get It Published

Year:
1964
Language:
english
File:
PDF, 2.75 MB
english, 1964
3

A Framework for Automated Reasoning in Multiple-Valued Logics

Year:
1998
Language:
english
File:
PDF, 308 KB
english, 1998
9

On the relative merits of path dissolution and the method of analytic tableaux

Year:
1994
Language:
english
File:
PDF, 1.63 MB
english, 1994
10

Linearity and regularity with negation normal form

Year:
2004
Language:
english
File:
PDF, 362 KB
english, 2004
13

℧-resolution and hybrid knowledge bases

Year:
2001
Language:
english
File:
PDF, 200 KB
english, 2001
14

Theory links: Applications to automated theorem proving

Year:
1987
Language:
english
File:
PDF, 1.01 MB
english, 1987
17

Linear response time for implicate and implicant queries

Year:
2010
Language:
english
File:
PDF, 585 KB
english, 2010
18

Efficient Query Processing with Reduced Implicate Tries

Year:
2007
Language:
english
File:
PDF, 401 KB
english, 2007
19

C-4′-Branched-chain sugar nucleosides: synthesis of isomers of psicofuranine

Year:
1977
Language:
english
File:
PDF, 819 KB
english, 1977
24

Case Study: The Value of a Uterus

Year:
1996
Language:
english
File:
PDF, 206 KB
english, 1996
26

An innovative method for determining lipemia interference in blood specimens

Year:
2011
Language:
english
File:
PDF, 125 KB
english, 2011
35

An Application of P4-Free Graphs in Theorem-Proving

Year:
1989
Language:
english
File:
PDF, 775 KB
english, 1989
48

Quality assurance

Year:
1978
Language:
english
File:
PDF, 2.04 MB
english, 1978
49

A Corporation-Based Computerized Preventive Dentistry Program

Year:
1983
Language:
english
File:
PDF, 2.36 MB
english, 1983