Information Services banner Edinburgh Research Archive The University of Edinburgh crest

Advanced Search
Home
 
Browse
Communities
& Collections
Issue Date
Author
Title
Subject
Publication Type
 
Sign on to:
Receive email
updates
My ERA
authorized users
Edit Profile
 
About DSpace

Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1842/4531

This item has been viewed 11 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
BundyA_General Techniques.pdf1.36 MBAdobe PDFView/Open
Title: General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving
Authors: Madden, P.
Bundy, Alan
Issue Date: 1993
Journal Title: EAST-WEST AI CONFERENCE: from theory to practice - EWAIC'93
URI: http://hdl.handle.net/1842/4531
Appears in Collections:Informatics Publications

Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.

 
Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback