Author: Project MAC (Massachusetts Institute of Technology)
Publisher:
ISBN:
Category : Electronic data processing
Languages : en
Pages : 272
Book Description
Project MAC Progress Report X
Author: Project MAC (Massachusetts Institute of Technology)
Publisher:
ISBN:
Category : Electronic data processing
Languages : en
Pages : 272
Book Description
Publisher:
ISBN:
Category : Electronic data processing
Languages : en
Pages : 272
Book Description
Project MAC Progress Report
Author: Project MAC (Massachusetts Institute of Technology)
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 340
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 340
Book Description
Project MAC Progress Report X, July 1972-June 1973
Author: E. Fredkin
Publisher:
ISBN:
Category :
Languages : en
Pages : 154
Book Description
;Contents: Computer systems research; Programming technology; Automatic programming division; Other research; Project MAC publications.
Publisher:
ISBN:
Category :
Languages : en
Pages : 154
Book Description
;Contents: Computer systems research; Programming technology; Automatic programming division; Other research; Project MAC publications.
Laboratory for Computer Science Progress Report
Author: Massachusetts Institute of Technology. Laboratory for Computer Science
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 354
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 354
Book Description
Project MAC progress report
Author: Massachusetts Institute of Technology (Cambridge, Mass.). Project MAC.
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Project MAC
Readings in Artificial Intelligence and Software Engineering
Author: Charles Rich
Publisher: Morgan Kaufmann
ISBN: 1483214427
Category : Computers
Languages : en
Pages : 625
Book Description
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.
Publisher: Morgan Kaufmann
ISBN: 1483214427
Category : Computers
Languages : en
Pages : 625
Book Description
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.
Scientific and Technical Aerospace Reports
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 488
Book Description
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 488
Book Description
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
Project MAC
Author: Massachusetts Institute of Technology
Publisher:
ISBN:
Category : Compatible time-sharing system (Electronic computers)
Languages : en
Pages : 289
Book Description
Publisher:
ISBN:
Category : Compatible time-sharing system (Electronic computers)
Languages : en
Pages : 289
Book Description
Encyclopedia of Computer Science and Technology
Author: Jack Belzer
Publisher: CRC Press
ISBN: 9780824722623
Category : Computers
Languages : en
Pages : 496
Book Description
"This comprehensive reference work provides immediate, fingertip access to state-of-the-art technology in nearly 700 self-contained articles written by over 900 international authorities. Each article in the Encyclopedia features current developments and trends in computers, software, vendors, and applications...extensive bibliographies of leading figures in the field, such as Samuel Alexander, John von Neumann, and Norbert Wiener...and in-depth analysis of future directions."
Publisher: CRC Press
ISBN: 9780824722623
Category : Computers
Languages : en
Pages : 496
Book Description
"This comprehensive reference work provides immediate, fingertip access to state-of-the-art technology in nearly 700 self-contained articles written by over 900 international authorities. Each article in the Encyclopedia features current developments and trends in computers, software, vendors, and applications...extensive bibliographies of leading figures in the field, such as Samuel Alexander, John von Neumann, and Norbert Wiener...and in-depth analysis of future directions."