Artículos relacionados a From Logic Design to Logic Programming: Theorem Proving...
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions: 271 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for proving the theorem and a constructive law for synthesizing the program or algorithm. A systematic examination of deductive laws and of constructive laws is presented. The set of all possible pairs of laws provides us with a tool for classifying the different approaches for materializing algorithms (such as hardware, microprogramming, algorithmic programming, declarative programming, deductive approach for recursive routines).
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for proving the theorem and a constructive law for synthesizing the program or algorithm. A systematic examination of deductive laws and of constructive laws is presented. The set of all possible pairs of laws provides us with a tool for classifying the different approaches for materializing algorithms (such as hardware, microprogramming, algorithmic programming, declarative programming, deductive approach for recursive routines).
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2008
- ISBN 10 3540182179
- ISBN 13 9783540182177
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas134
- Contacto del fabricanteno disponible
EUR 46,37
EUR 65,79 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 60,53
EUR 4,72 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para From Logic Design to Logic Programming: Theorem Proving...
Imagen de archivo
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science, 271)
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: ria9783540182177_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions
Publicado por
Springer Berlin Heidelberg, 1987
ISBN 10: 3540182179
ISBN 13: 9783540182177
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography. Nº de ref. del artículo: 9783540182177
Cantidad disponible: 1 disponibles
Imagen del vendedor
From Logic Design to Logic Programming
Publicado por
Springer Berlin Heidelberg, 1987
ISBN 10: 3540182179
ISBN 13: 9783540182177
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Theorem in proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography. Nº de ref. del artículo: 4883700
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540182177
Cantidad disponible: 10 disponibles
Imagen del vendedor
From Logic Design to Logic Programming
Publicado por
Springer Berlin Heidelberg Aug 1987, 1987
ISBN 10: 3540182179
ISBN 13: 9783540182177
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography. 134 pp. Englisch. Nº de ref. del artículo: 9783540182177
Cantidad disponible: 2 disponibles
Imagen del vendedor
From Logic Design to Logic Programming
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1987, 1987
ISBN 10: 3540182179
ISBN 13: 9783540182177
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 134 pp. Englisch. Nº de ref. del artículo: 9783540182177
Cantidad disponible: 1 disponibles
Imagen de archivo
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Nº de ref. del artículo: UTD1419744
Cantidad disponible: 1 disponibles
Imagen de archivo
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science, 271)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020161652
Cantidad disponible: Más de 20 disponibles