Artículos relacionados a Logic Programming: Formal Methods and Practical Applications...

Logic Programming: Formal Methods and Practical Applications (Studies in computer science & artifical intelligence) - Tapa dura

 
9780444820921: Logic Programming: Formal Methods and Practical Applications (Studies in computer science & artifical intelligence)

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.

Comprar usado

Condición: Excelente
Ancien livre de bibliothèque. Légères...
Ver este artículo

EUR 6,00 gastos de envío desde Francia a España

Destinos, gastos y plazos de envío

Resultados de la búsqueda para Logic Programming: Formal Methods and Practical Applications...

Imagen de archivo

C. Beierle et L. Pluemer
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar usado

EUR 17,63
Convertir moneda
Gastos de envío: EUR 6,00
De Francia a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Plümer, Lutz and Christoph Beierle:
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar usado

EUR 17,95
Convertir moneda
Gastos de envío: EUR 14,95
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

C. Beierle et L. Pluemer
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar usado

EUR 49,49
Convertir moneda
Gastos de envío: EUR 6,00
De Francia a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Beierle, C and Lutz Plümer:
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar usado

EUR 54,90
Convertir moneda
Gastos de envío: EUR 6,95
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito