Sinopsis
Lectures on Semantics: The Initial Algebra and Final Coalgebra Perspectives.- to Gröbner Bases.- Bounded Arithmetic and Propositional Proof Complexity.- The Structure of Nuprl’s Type Theory.- Axiomatisations, Proofs, and Formal Specifications of Algorithms: Commented Case Studies in the Coq Proof Assistant.- Some Proof Theory of First Order Logic Programming.- Timed Rewriting Logic for the Specification of Time-Sensitive Systems.- Logic Programming and Meta-Logic.- Proofs, Lambda Terms and Control Operators.- Basic Proof Theory with Applications to Computation.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 International Summer School in Marktoberdorf, Germany. Logic is of special importance in computer science, since it provides the basis for giving correct semantics of programs, for specification and verification of software, and for program synthesis. The lectures presented here provide the basic knowledge a researcher in this area should have and give excellent starting points for exploring the literature. Topics covered include semantics and category theory, machine based theorem proving, logic programming, bounded arithmetic, proof theory, algebraic specifications and rewriting, algebraic algorithms, and type theory.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Logic of Computation: SER F / v.157 (NATO ASI)
Imagen de archivo
Logic of Computation (NATO ASI Series / Computer and Systems Sciences)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540629634_new
Comprar nuevo
EUR 92,64
Envío por EUR 13,84
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic of Computation
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 45206122-n
Comprar nuevo
EUR 107,28
Envío por EUR 2,24
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic of Computation
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 45206122-n
Comprar nuevo
EUR 92,63
Envío por EUR 17,32
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic of Computation: SER F / v.157 (NATO ASI)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 394. Nº de ref. del artículo: 262561905
Comprar nuevo
EUR 111,57
Envío por EUR 3,39
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic of Computation: SER F / v.157 (NATO ASI)
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 394. Nº de ref. del artículo: 5286062
Comprar nuevo
EUR 114,20
Envío por EUR 7,51
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic of Computation: SER F / v.157 (NATO ASI)
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 394. Nº de ref. del artículo: 182561915
Comprar nuevo
EUR 113,49
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic of Computation
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Brand New. 394 pages. 9.75x6.75x1.00 inches. In Stock. Nº de ref. del artículo: x-3540629637
Comprar nuevo
EUR 139,20
Envío por EUR 14,44
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Logic of Computation
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Gebunden. Condición: New. Logic is of special importance in computer science, since it provides the basis for giving correct semantics of programs, for specification and verification of software, and for program synthesis.nThe lectures presented here provide the basic knowledge a re. Nº de ref. del artículo: 908117649
Comprar nuevo
EUR 107,73
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic of Computation
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 45206122
Comprar usado
EUR 192,71
Envío por EUR 17,32
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic of Computation (NATO ASI Series / Computer and Systems Sciences)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Like New. Like New. book. Nº de ref. del artículo: ERICA77335406296376
Comprar usado
EUR 183,21
Envío por EUR 28,87
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles