Logic Programming: Formal Methods and Practical Applications (Studies in computer science & artifical intelligence) - Tapa dura
Sinopsis
There is growing evidence of a convergence between the technical challenges of developing advanced software systems on the one hand, and the formal techniques, tools and features evolving from the logic programming paradigm on the other. This book aims at promoting such convergence. It provides contributions towards different aspects of logic programming, which are relevant to the development of complex and reliable software systems and describes a number of advanced applications. The papers are organized around four main themes: Foundations; Languages Aspects and Methodology; Constraints; and Applications. The publication closes with an outlook on the challenges and opportunities lying ahead in the field of logic programming.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
There is growing evidence of a convergence between the technical challenges of developing advanced software systems on the one hand, and the formal techniques, tools and features evolving from the logic programming paradigm on the other. This book aims at promoting such convergence. It provides contributions towards different aspects of logic programming, which are relevant to the development of complex and reliable software systems and describes a number of advanced applications. The papers are organized around four main themes: Foundations; Languages Aspects and Methodology; Constraints; and Applications. The publication closes with an outlook on the challenges and opportunities lying ahead in the field of logic programming.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Logic Programming: Formal Methods and Practical Applications...
Imagen del vendedor
Logic Programming: Formal Methods and Practical Applications Studies in Computer Science and Artifical Intelligence, 11
Publicado por
Elsevier Science Ltd, 1995
ISBN 10: 0444820922
ISBN 13: 9780444820921
Antiguo o usado
Tapa dura
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
gebundene Ausgabe. Condición: Gut. 404 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). Sprache: Englisch Gewicht in Gramm: 975. Nº de ref. del artículo: 2161963
Comprar usado
EUR 17,95
Gastos de envío:
EUR 15,95
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Programming: Formal Methods and Practical Applications
Publicado por
Elsevier Science Ltd, 1994
ISBN 10: 0444820922
ISBN 13: 9780444820921
Antiguo o usado
Tapa dura
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-551-418
Comprar usado
EUR 22,49
Gastos de envío:
EUR 22,50
De Francia a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Programming: Formal Methods and Practical Applications
Publicado por
Elsevier Science Ltd, 1994
ISBN 10: 0444820922
ISBN 13: 9780444820921
Antiguo o usado
Tapa dura
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-832-350
Comprar usado
EUR 26,99
Gastos de envío:
EUR 22,50
De Francia a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Programming: Formal Methods and Practical Applications.
Publicado por
Amsterdam: Elsevier, 1994
ISBN 10: 0444820922
ISBN 13: 9780444820921
Antiguo o usado
Tapa dura
Librería: Plurabelle Books Ltd, Cambridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. Series: Studies in Computer Science and Artificial Intelligence 404p grey cloth with red lettering, a nice clean copy, unused, minimal library marking, tight and clean, year of publiction in book given as 1995 Language: English. Nº de ref. del artículo: 102570
Comprar usado
EUR 53,90
Gastos de envío:
EUR 9,10
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles