Results for:
"
Felty%27s_syndrome
" in Documents
- The man behind the syndrome: Augustus Roi Felty. He has found the unu...
-
Rating:
Views: ()
Pages: ()
Uploaded: 1983-9-14
- Hybrid Interactive Theorem Proving using Nuprl and HOL 1997
- . In this paper we give the first example of a significant piece of formal mathematics conducted in a hybrid of two different interactive systems. We constructively prove a theorem in Nuprl, from whic...
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09
- Hybrid Interactive Theorem Proving using Nuprl and HOL 1997
- . In this paper we give the first example of a significant piece of formal mathematics conducted in a hybrid of two different interactive systems. We constructively prove a theorem in Nuprl, from whic...
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09
- Hybrid Interactive Theorem Proving using Nuprl and HOL 1997
- . In this paper we give the first example of a significant piece of formal mathematics conducted in a hybrid of two different interactive systems. We constructively prove a theorem in Nuprl, from whic...
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09
- Interactive Theorem Proving with Temporal Logic 0 6 citations ? 0 self...
- : In this paper, we present a theorem prover for linear temporal logic. Our goal is to extend the capabilities of existing interactive and automatic systems for verifying temporal properties of softwa...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Felty s and pseudo-Felty s syndromes
- Felty's and pseudo-Felty's syndromes. Rosenstein ED, Kramer N. Department of Medicine, UMDNJ-New Jersey Medical School, Newark. Felty's syndrome, consisting of rheumatoid arthritis, leukopenia, and...
-
Rating:
Views: (1047)
Pages: ()
Uploaded: 20-01-09
- Felty's and pseudo-Felty's syndromes.
- Felty's syndrome, consisting of rheumatoid arthritis, leukopenia, and splenomegaly, has been recognized as a distinct clinical entity for more than 60 years. Clinical and laboratory manifestations of ...
-
Rating:
Views: ()
Pages: ()
Uploaded: 1991-12-1
- Felty's syndrome, pseudo-felty's syndrome, monoclonal or polyclonal CD...
-
Rating:
Views: ()
Pages: ()
Uploaded: 1996-1-1