Research at the intersection of artificial intelligence and software engineering is important to both AI researchers and software engineers. For AI, programming is a challenging domain that stimulates fundamental research in knowledge representation and automated reasoning. In software engineering, AI techniques can be applied to programming tools with potential for dramatic improvements in programmer productivity. This volume, edited by two research scientists at the Artificial Intelligence Laboratory of MIT, collects thirty-four important papers covering a wide spectrum of work in this area. Major topics include automatic programming, theorem-proving approaches, transformational approaches, specification techniques, intelligent assistants, knowledge representation, and artificial intelligence programming. The editors have provided an introductory survey of the field and issues, introductions to each group of papers, and an extensive bibliography.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Vendeur : Bay State Book Company, North Smithfield, RI, Etats-Unis
Etat : good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing. N° de réf. du vendeur BSM.1BXDQ
Quantité disponible : 1 disponible(s)
Vendeur : Bay State Book Company, North Smithfield, RI, Etats-Unis
Etat : good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing. N° de réf. du vendeur BSM.1BXAA
Quantité disponible : 1 disponible(s)
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis
Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. N° de réf. du vendeur OTV.0934613125.G
Quantité disponible : 1 disponible(s)
Vendeur : Studibuch, Stuttgart, Allemagne
paperback. Etat : Gut. 624 Seiten; 9780934613125.3 Gewicht in Gramm: 3. N° de réf. du vendeur 1501256
Quantité disponible : 1 disponible(s)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Paperback. Etat : Brand New. 624 pages. 11.50x8.50x1.25 inches. In Stock. N° de réf. du vendeur zk0934613125
Quantité disponible : 1 disponible(s)