9 results on '"Cioni G."'
Search Results
2. Automated deduction by connection method in an object-oriented environment
3. Deduction and abduction using a sequent calculus
4. A sequent calculus machine for symbolic computation systems
5. A desk-top sequent calculus machine
6. Development of Fetal and Neonatal Motor Activity: Implications for Neurology
7. Asymétries des réponses présentées par le nouveau-né dans diverses tâches sensori-motrices
8. An enhanced sequent calculus for reasoning in a given domain
9. Efficacy of Vigabatrin Intervention in a Mild Phenotypic Expression of Succinic Semialdehyde Dehydrogenase Deficiency.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.