Catálogo de publicaciones - libros
Agent Technology from a Formal Perspective
Christopher A. Rouff ; Michael Hinchey ; James Rash ; Walter Truszkowski ; Diana Gordon-Spears (eds.)
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics)
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | 2006 | SpringerLink |
Información
Tipo de recurso:
libros
ISBN impreso
978-1-85233-947-0
ISBN electrónico
978-1-84628-271-3
Editor responsable
Springer Nature
País de edición
Reino Unido
Fecha de publicación
2006
Información sobre derechos de publicación
© Springer-Verlag London Limited 2006
Tabla de contenidos
Formal Verification of Autonomy Models
Charles Pecheur; Reid Simmons; Peter Engrand
Thermodynamics is a powerful tool for the study of chemical reactions and is intimately related to the atomic and molecular description of the species participating in these reactions. The transformation of energy involved in the reactions depends on the thermodynamic conditions of the reaction, and can be expressed in terms of various thermodynamic functions. One such function is the Gibbs free energy [–], expressed by Eq.(l):
Part IV - Significant Applications | Pp. 311-339