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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Book by Rich Charles
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
EUR 3,19 per la spedizione in U.S.A.
Destinazione, tempi e costiEUR 28,79 per la spedizione da Regno Unito a U.S.A.
Destinazione, tempi e costiDa: HPB-Red, Dallas, TX, U.S.A.
paperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_443290308
Quantità: 1 disponibili
Da: NEPO UG, Rüsselsheim am Main, Germania
Taschenbuch. Condizione: Gut. 624 Seiten ex Library Book / aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1455. Codice articolo 289721
Quantità: 1 disponibili
Da: NEPO UG, Rüsselsheim am Main, Germania
Taschenbuch. Condizione: Gut. Sofort verfügbar / Versand am folgenden Arbeitstag / mit Rechnung / daily shipping worldwide with invoice / ex library / Sprache: Deutsch Gewicht in Gramm: 550. Codice articolo 143153
Quantità: 1 disponibili
Da: Revaluation Books, Exeter, Regno Unito
Paperback. Condizione: Brand New. 624 pages. 11.50x8.50x1.25 inches. In Stock. Codice articolo zk0934613125
Quantità: 1 disponibili