21 results on '"Mateos F"'
Search Results
2. Circuit Layout, Powering and Protection
3. Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials
4. Mechanical analysis of weakness planes and durability of cladding stone used in monuments and singular buildings
5. Rete Algorithm Applied to Robotic Soccer
6. Termination in ACL2 Using Multiset Relations
7. A Formal Proof of Dickson’s Lemma in ACL2
8. Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers
9. Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment
10. Genetic Diagnosis of Hypoxanthine-Guanine Phosphoribosyltransferase (Hgprt) Carrier Status by Restriction Analysis and Directed Mutagenesis
11. Carrier State in Hgprt Deficiency a Study in 14 Spanish Families
12. HGPRT and Aprt Activities in Hemolysates During the First Year of Life
13. On a visibility representation of graphs
14. Prenatal Diagnosis of Lesch-Nyhan Syndrome
15. The Biochemical Basis of HGPRT Deficiency
16. Fetal Subdural Hematoma: Diagnosis in utero
17. Renal Handling of Uric Acid in Gout by Means of the Pyrazinamide and Probenecid Tests
18. Renal Handling of Uric Acid in Normal Subjects: Its Behaviour with Respect to Different Filtered Loads
19. Evidence of Abnormal Renal Handling of Uric Acid in Patients with Nephrolithiasis and Hyperuricosuria
20. Mutations in the Hypoxanthine-Guanine Phosphoribosyltransferase Gene in Spanish HPRT Deficient Families
21. Rete Algorithm Applied to Robotic Soccer.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.