Vendeur : George Cross Books, Lexington, MA, Etats-Unis
Membre d'association : IOBA
EUR 29,32
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Reprint edition. Very Good/Wraps (34587) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 883 This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies. 451.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 55,76
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 468.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 55,51
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 468 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 57,42
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 468.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 108,53
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. Like New. book.