E-LIB Suche - Ergebnisse für: Bledsoe, Andrea W.

1

Cytokine production in motor neurons by poliovirus replicon..:

Bledsoe, Andrea W. ; Jackson, Cheryl A. ; McPherson, Sylvia.
Nature Biotechnology. 18 (2000) 9 - p. 964-969 , 2000

Link: https://doi.org/10.1038/..

2

Safety of treating acute pulmonary embolism at home: an ind..:

Luijten, Dieuwke ; Douillet, Delphine ; Luijken, Kim...
European Heart Journal. , 2024

Link: https://doi.org/10.1093/..

3

Metformin for treatment of cytopenias in children and young..:

Pollard, Jessica A ; Furutani, Elissa ; Liu, Shanshan...
Blood advances. , 2022

Link: https://ddd.uab.cat/reco..

4

A precondition prover for analogy:

Bledsoe, W.W.
Biosystems. 34 (1995) 1-3 - p. 225-247 , 1995

Link: https://doi.org/10.1016/..

5

An overview of automated reasoning and related fields:

Wos, L. ; Pereira, Fernando ; Hong, Robert...
Journal of Automated Reasoning. 1 (1985) 1 - p. , 1985

Link: https://doi.org/10.1007/..

6

Completeness results for inequality provers:

Bledsoe, W.W. ; Kunen, K. ; Shostak, R.
Artificial Intelligence. 27 (1985) 3 - p. 255-288 , 1985

Link: https://doi.org/10.1016/..

7

Non-resolution theorem proving:

Bledsoe, W.W.
Artificial Intelligence. 9 (1977) 1 - p. 1-35 , 1977

Link: https://doi.org/10.1016/..

8

Automatic Proofs of Theorems in Analysis Using Nonstandard ..:

Bledsoe, W. W. ; Ballantyne, A. Michael
Journal of the ACM. 24 (1977) 3 - p. 353-374 , 1977

Link: https://doi.org/10.1145/..

9

Automatic Proofs of Theorems in Analysis Using Nonstandard ..:

Bledsoe, W. W. ; Ballantyne, A. Michael
Journal of the ACM (JACM). 24 (1977) 3 - p. 353-374 , 1977

Link: https://dl.acm.org/doi/1..

10

An interactive program verification system:

, In: Proceedings of the international conference on Reliable software,

Good, Donald I. ; London, Ralph L. ; Bledsoe, W. W. - p. 482-492 , 1975

Link: https://dl.acm.org/doi/1..

11

An interactive program verification system:

Good, Donald I. ; London, Ralph L. ; Bledsoe, W. W.
ACM SIGPLAN Notices. 10 (1975) 6 - p. 482-492 , 1975

Link: https://doi.org/10.1145/..

12

A man-machine theorem-proving system:

Bledsoe, W.W. ; Bruell, Peter
Artificial Intelligence. 5 (1974) 1 - p. 51-72 , 1974

Link: https://doi.org/10.1016/..

13

Computer proofs of limit theorems:

Bledsoe, W.W ; Boyer, R.S ; Henneman, W.H
Artificial Intelligence. 3 (1972) - p. 27-60 , 1972

Link: https://doi.org/10.1016/..

14

Results of second annual computer chess championship:

Bledsoe, W. W.
ACM SIGART Bulletin. , 1971

Link: https://doi.org/10.1145/..

15

Splitting and reduction heuristics in automatic theorem pro..:

Bledsoe, W.W.
Artificial Intelligence. 2 (1971) 1 - p. 55-77 , 1971

Link: https://doi.org/10.1016/..