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.
"synopsis" may belong to another edition of this title.
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0934613125I3N00
Seller: NEPO UG, Rüsselsheim am Main, Germany
Taschenbuch. Condition: Gut. 624 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1455. Seller Inventory # 289721
Seller: NEPO UG, Rüsselsheim am Main, Germany
Taschenbuch. Condition: Gut. Versand am folgenden Arbeitstag mit Rechnung daily shipping worldwide with invoice ex library Sprache: Deutsch Gewicht in Gramm: 550. Seller Inventory # 143153
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 624 pages. 11.50x8.50x1.25 inches. In Stock. Seller Inventory # zk0934613125
Quantity: 1 available