logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Return

SYNTHETIC PROGRAMMING

delete1985-03-01
delete8
PRE
AI
N
Nachum Dershowitz
DOI：10.1016/0004-3702(85)90076-1delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En

Journal

Artificial Intelligence Review cover
Artificial Intelligence Review
IF:
13.9
Papers:
6.1K
Citations:
1.9W

Organization

No organization information available
Cited Papers

Cited Papers

AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING
errCOMMUNICATIONS OF THE ACM
IF12.2
err1969-10-01
err2.7K
errOAAI
errHOARE, CAR
errShare
errSave
Response of the Dupi Tila aquifer to intensive pumping in Dhaka, Bangladesh
errHydrogeology Journal
IF0
err2003-08-01
err0
PREAI
errBrian L. Morris; Ashraf Ali Seddique; Kazi Matin Ahmed
errShare
errSave
Spatial patterns in species assemblages associated with the northwestern Gulf of Mexico shrimp trawl fishery
errMarine Ecology Progress Series
IF0
err2015-01-20
err0
errOAAI
errMH Monk; JE Powers; EN Brooks
errShare
errSave
SUB-GOAL INDUCTION
errCOMMUNICATIONS OF THE ACM
IF12.2
err1977-04-01
err25
errOAAI
errMORRIS, JH; WEGBREIT, B
errShare
errSave
N-Methyl-d-asparate unilaterally injected into the dorsal striatum of rats produces contralateral circling: antagonism by 2-amino-7-phosphonoheptanoic acid and cis-flupenthixol
errBrain Research
IF0
err1992-08-01
err0
PREAI
errPeter K. Thanos; Khen Jhamandas; Richard J. Beninger
errShare
errSave
Elaborating the technology acceptance model with social pressure and social benefits for social networking sites (SNSs)
errProceedings of the American Society for Information Science and Technology
IF0
err2013-01-24
err0
errOAAI
errGilok Choi; Hyewon Chung
errShare
errSave
Molecular orbital studies of vibrational frequencies
errInternational Journal of Quantum Chemistry
IF0
err2009-06-19
err0
PREAI
errJ. A. Pople; H. B. Schlegel; R. Krishnan; D. J. Defrees; J. S. Binkley; M. J. Frisch; R. A. Whiteside; R. F. Hout; W. J. Hehre
errShare
errSave
Effect of glutathione capping on the antibacterial activity of tin doped ZnO nanoparticles
errPhysica Scripta
IF0
err2021-08-27
err0
PREAI
errSunil Kumar; Kavita; H S Bhatti; Karamjit Singh; Saurabh Gupta; Swati Sharma; Vijay Kumar; Ravi Kant Choubey
errShare
errSave
Heralded noiseless linear amplification and quantum channels
errPhysical Review A
IF0
err2015-06-05
err0
errOAAI
errRémi Blandino; Marco Barbieri; Philippe Grangier; Rosa Tualle-Brouri
errShare
errSave
California native and exotic perennial grasses differ in their response to soil nitrogen, exotic annual grass density, and order of emergence
errPlant Ecology
IF0
err2008-07-30
err0
errOAAI
errJoel K. Abraham; Jeffrey D. Corbin; Carla M. D’Antonio
errShare
errSave
researcher View more