Logic program synthesis from first-order logic specifications
- 作者Tadashi Kawamura
- 卷第122卷
- 印刷ISSN0304-3975
- 文件大小1920.57KB
- 发表时间1994
- DOI10.1016/0304-3975(94)90202-x
- 页码69-96
Memoirs of Feminist ModernitiesRamanathan, Geetha · Wasafiri · 2014
Aesthetics as woman: Aparna Sen's ParamaRamanathan, Geetha · Quarterly Review of Film and Video · 2000
Quantitative assessment of stakeholder perceptions for tourism developmentRamanathan, Ramakrishnan; Subramanian, Geetha; Chaudhuri, Dipak · Tourism Economics · 2010
Socio-economic impact assessment of industrial projects in IndiaRamanathan, R; Geetha, S · Impact Assessment and Project Appraisal · 1998
Functional specification and proof of correctness for time dependent behaviour of reactive systemsVangalur S. Alagar; Geetha Ramanathan · 1991
Nancy Meyers, by Deborah Jermyn, New York, Bloomsbury, 2017, 272 pp., $135.00 (hardback), ISBN: 9781628921755Ramanathan, Geetha · New Review of Film and Television Studies · 2018
Durable keratin based bilayered electrospun mats for wound closureSingaravelu, Sivakumar; Ramanathan, Giriprasath; Muthukumar, Thangavelu; Raja, Devendiran; Nagiah, Naveen; Thyagarajan, Sitalakshmi; Adithan, Aravinthan; P, Gunasekaran; Natarajan, T S; V. N. Geetha Selva, Gangai; Jong-Hoon, Kim; Tirichurapalli Sivagnanam, Uma · J. Mater. Chem. B · 2016