Skip to search
Skip to main content
About Us
Vision
Our Story
Technology
Focus Areas
Our Team
Access
Policies
Guides
Events
COVID-19 Advisory
Collections
Books & Journals
A-Z listing
Special Collections
Contact Us
Jio Institute Digital Library
Exhibits
Exhibits
Search
search for
Search
Search
Home
Browse
About
Home
Browse
Image
Showing Image
64 items
1
-
3
of
3
Number of results to display per page
per page
12
per page
24
per page
48
per page
96
per page
View results as:
List
List
Gallery
Gallery
Masonry
Masonry
Slideshow
Slideshow
×
A new approach to recursive programs.
1 of 3
A deductive approach to program synthesis
2 of 3
Inference rules for program annotation
3 of 3
previous image
next image
Pause Slideshow
Start Slideshow
