Automated reasoning: Introduction and applications
Abstract
This book is designed to explain how to use a computer program that automates reasoning. Papers 1 through 5 provide a complete introduction to automated reasoning, followed by a review of the basic concepts in paper 6. In this book the authors introduce to a language for stating problems to an automated reasoning program and to many considerations affecting its performance. They explain about the various ways such a program reasons and how it is intelligent. The authors discuss the application of automated reasoning to designing logic circuits, proving properties of other programs, assisting in research in abstract mathematics and in formal logic, among others. The contents are: Introduction, learning logic by example. Puzzles, alternative representation and equality, harder puzzles, summary and partial formalization, logic circuit design, logic circuit validation. Research in mathematics, research in formal logic, realtime systems control, program debugging and verification, expert systems. Prolog: logic as a programming language. The formal treatment of automated reasoning, and the art of automated reasoning.
 Authors:
 Publication Date:
 OSTI Identifier:
 6003867
 Alternate Identifier(s):
 OSTI ID: 6003867
 Resource Type:
 Book
 Country of Publication:
 United States
 Language:
 English
 Subject:
 99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; 42 ENGINEERING; ARTIFICIAL INTELLIGENCE; EXPERT SYSTEMS; LOGIC CIRCUITS; DESIGN; AUTOMATION; COMPUTER CODES; COMPUTERIZED CONTROL SYSTEMS; MATHEMATICAL LOGIC; PERFORMANCE; PROLOG; REAL TIME SYSTEMS; RESEARCH PROGRAMS; REVIEWS; CONTROL SYSTEMS; DOCUMENT TYPES; ELECTRONIC CIRCUITS; PROGRAMMING LANGUAGES 990200*  Mathematics & Computers; 420800  Engineering Electronic Circuits & Devices (1989)
Citation Formats
Wos, L., Overbeck, R., Lusk, E., and Boyle, J.. Automated reasoning: Introduction and applications. United States: N. p., 1984.
Web.
Wos, L., Overbeck, R., Lusk, E., & Boyle, J.. Automated reasoning: Introduction and applications. United States.
Wos, L., Overbeck, R., Lusk, E., and Boyle, J.. 1984.
"Automated reasoning: Introduction and applications". United States.
doi:.
@article{osti_6003867,
title = {Automated reasoning: Introduction and applications},
author = {Wos, L. and Overbeck, R. and Lusk, E. and Boyle, J.},
abstractNote = {This book is designed to explain how to use a computer program that automates reasoning. Papers 1 through 5 provide a complete introduction to automated reasoning, followed by a review of the basic concepts in paper 6. In this book the authors introduce to a language for stating problems to an automated reasoning program and to many considerations affecting its performance. They explain about the various ways such a program reasons and how it is intelligent. The authors discuss the application of automated reasoning to designing logic circuits, proving properties of other programs, assisting in research in abstract mathematics and in formal logic, among others. The contents are: Introduction, learning logic by example. Puzzles, alternative representation and equality, harder puzzles, summary and partial formalization, logic circuit design, logic circuit validation. Research in mathematics, research in formal logic, realtime systems control, program debugging and verification, expert systems. Prolog: logic as a programming language. The formal treatment of automated reasoning, and the art of automated reasoning.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = 1984,
month = 1
}

Molten salt chemistry: An introduction and selected applications
The major fundamental topics covered are the structure of melts, thermodynamics of molten salt mixtures, theoretical and experimental studies of transport processes, metalmetal salt solutions, solvent properties of melt systems, acidbase effects in molten salt chemistry, electronic absorption, vibrational and nuclear magnetic resonance spectroscopy of melt systems, electrochemistry and electroanalytical chemistry in molten salts, and organic chemistry in molten salts. The applied aspects include the chemistry of aluminium production, electrodeposition using molten salts, and molten salt batteries and fuel cells. 
Sun power. An introduction to the applications of solar energy
The following chapters are included: historical background; solar radiation; water and air heating applications; space heating applications; thermal power and other thermal applications; methods of economic analysis; photovoltaic cells, biological conversion systems, and photochemistry; wind power; and some practical heating applications. A glossary is also included. (MHR) 
Invariant imbedding and its applications to ordinary differential equations. An introduction
The discussion covers a review of ordinary differential equations and their numerical solution, invariant imbedding, linear boundaryvalue problems both homogeneous and inhomogeneous, linear initialvalue problems, systems of equations, and nonlinear boundaryvalue problems. (JFP)