Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Readings in Artificial Intelligence and Software Engineering > Perspectives on Artificial Intelligence Programming
Readings in Artificial Intelligence and Software Engineering |
Charles Rich and Richard C. Waters
Morgan Kaufmann
Readings in Artificial Intelligence and Software Engineering
Perspectives on Artificial Intelligence Programming
Authors

DANIEL G. BOBROW; MARK J. STEFIK

ARI Id

1665471762053_16925682

Access

Open/Free Access

Pages

581-587

Table of Contents of Book
Showing 1 to 20 of 37 entries
Chapters/HeadingsAuthor(s)PagesInfo
Deductive Synthesis
Introduction to Deductive Synthesis
1
Top-Down Synthesis of Divide-and-Conquer Algorithms
Douglas R. Smith
35-61
Program Verification
Introduction to Program Verification
63
Mechanical proofs about computer programs
D.I. Good
65-85
Transformational Approaches
Introduction to Transformational Approaches
97-98
An Experimental Program Transformation and Synthesis System
John Darlington
99-121
Program Development as a Formal Activity
MANFRED BROY; PETER PEPPER
123-131
An Experiment in Knowledge-based Automatic Programming
David R. Barstow
133-156
Natural Language Specifications
Introduction to Natural Language Specifications
201
Automatic Programming Through Natural Language Dialogue: A Survey
G.E. HEIDORN
203-214
Protosystem I—An automatic programming system prototype
GREGORY R. RUTH
215-221
Very High Level Languages
Introduction to Very High Level Languages
233-234
KNOWLEDGE-BASED PROGRAMMING SELF APPLIED
Cordell Green; Stephen Westfold
259-284
Programming by Example
Introduction to Programming by Example
307
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 37 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings