LEADER 00000cam a22004937a 4500 
003    OCoLC 
005    20240129213017.0 
006    m     o  d         
007    cr cnu|||||||| 
008    180406s2014    xx      o     000 0 eng   
019    1302263868 
020    1483214427 
020    9781483214429 
024 8  C20130076967 
024 8  9780934613125 
029 0  AU@|b000065313745 
029 1  AU@|b000072993244 
035    (OCoLC)1102387218|z(OCoLC)1302263868 
040    AU@|beng|epn|cAU@|dCNCEN|dOCLCO|dOCLCF|dLVT|dOCLCO|dOCLCQ
       |dTOH|dOCLCQ|dOCLCO 
049    INap 
082 04 006.3 
082 04 006.3|qOCoLC|219/eng/20230216 
099    eBook O'Reilly for Public Libraries 
100 1  Rich, Charles,|eauthor. 
245 10 Readings in Artificial Intelligence and Software 
       Engineering /|cRich, Charles.|h[O'Reilly electronic 
       resource] 
250    1st edition. 
264  1 |bMorgan Kaufmann,|c2014. 
300    1 online resource (624 pages) 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
347    text file 
520    Readings in Artificial Intelligence and Software 
       Engineering covers the main techniques and application of 
       artificial intelligence and software engineering. The 
       ultimate goal of artificial intelligence applied to 
       software engineering is automatic programming. Automatic 
       programming would allow a user to simply say what is 
       wanted and have a program produced completely 
       automatically. This book is organized into 11 parts 
       encompassing 34 chapters that specifically tackle the 
       topics of deductive synthesis, program transformations, 
       program verification, and programming tutors. The opening 
       parts provide an introduction to the key ideas to the 
       deductive approach, namely the correspondence between 
       theorems and specifications and between constructive 
       proofs and programs. These parts also describes automatic 
       theorem provers whose development has be designed for the 
       programming domain. The subsequent parts present 
       generalized program transformation systems, the problems 
       involved in using natural language input, the features of 
       very high level languages, and the advantages of the 
       programming by example system. Other parts explore the 
       intelligent assistant approach and the significance and 
       relation of programming knowledge in other programming 
       system. The concluding parts focus on the features of the 
       domain knowledge system and the artificial intelligence 
       programming. Software engineers and designers and computer
       programmers, as well as researchers in the field of 
       artificial intelligence will find this book invaluable. 
542    |fCopyright &#169: Elsevier Science & Technology|g1986 
550    Made available through: Safari, an O'Reilly Media Company.
590    O'Reilly|bO'Reilly Online Learning: Academic/Public 
       Library Edition 
650  0 Engineering. 
650  6 Ingénierie. 
650  7 engineering.|2aat 
650  7 Engineering|2fast 
700 1  Waters, Richard,|eauthor. 
710 2  Safari, an O'Reilly Media Company. 
856 40 |uhttps://ezproxy.naperville-lib.org/login?url=https://
       learning.oreilly.com/library/view/~/9780934613125/?ar
       |zAvailable on O'Reilly for Public Libraries 
936    BATCHLOAD 
994    92|bJFN