Showing
1 - 5
results of
5
for search '
PROBLEM SOLVING IN SCIENCE
'
Skip to content
Home
High Impact Articles
Search Options
UiTM Open Access
Search by UiTM Scopus
Advanced Search
Search by Category
Discovery Service
Sources
Jawi Collection
UiTM Journals
List UiTM Journal in IR
Statistic
About
Open Access
Creative Commons Licenses
COKI | Malaysia Open Access
Report Technical
User Guide
Contact Us
Search Tips
FAQs
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Reset Filters
Author:
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
AND
Solar-Lezama, Armando
Reset Filters
Show filters (2)
Author:
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
AND
Solar-Lezama, Armando
Search Results - PROBLEM SOLVING IN SCIENCE
Showing
1 - 5
results of
5
for search '
PROBLEM SOLVING IN SCIENCE
'
, query time: 0.99s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Syntax-guided synthesis
by
Alur, Rajeev
,
Bodik, Rastislav
,
Juniwal, Garvit
,
Martin, Milo M. K.
,
Raghothaman, Mukund
,
Seshia, Sanjit A.
,
Singh, Rishabh
,
Torlak, Emina
,
Udupa, Abhishek
,
Solar-Lezama, Armando
Published 2014
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
2
Bridging boolean and quantitative synthesis using smoothed proof search
by
Chaudhuri, Swarat
,
Clochard, Martin
,
Solar-Lezama, Armando
Published 2014
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
3
SPT: Storyboard Programming Tool
by
Singh, Rishabh
,
Solar-Lezama, Armando
Published 2014
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
4
Modular Synthesis of Sketches Using Models
by
Singh, Rohit
,
Singh, Rishabh
,
Xu, Zhilei
,
Krosnick, Rebecca P.
,
Solar-Lezama, Armando
Published 2014
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
5
Using program synthesis for social recommendations
by
Cheung, Alvin K.
,
Solar-Lezama, Armando
,
Madden, Samuel R.
Published 2014
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
Search Tools:
Get RSS Feed
—
Email this Search
Back
Narrow Search
Format
Article
5
Sources
MIT IR
5
Collections
Institutional Repositories
5
Author
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Solar-Lezama, Armando
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
4
Singh, Rishabh
3
Solar Lezama, Armando
3
Alur, Rajeev
1
Bodik, Rastislav
1
Chaudhuri, Swarat
1
Cheung, Alvin K.
1
Clochard, Martin
1
Juniwal, Garvit
1
Krosnick, Rebecca P.
1
Madden, Samuel R.
1
Martin, Milo M. K.
1
Raghothaman, Mukund
1
Seshia, Sanjit A.
1
Singh, Rohit
1
Torlak, Emina
1
Udupa, Abhishek
1
Xu, Zhilei
1
see all ...
Language
English
5
Genre
Article
5
Year of Publication
From:
To:
Loading...