Editore: Springer Berlin Heidelberg, 1993
ISBN 10: 3540569448 ISBN 13: 9783540569442
Lingua: Inglese
Da: Buchpark, Trebbin, Germania
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 408 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 68,48
Usato - A partire da EUR 38,29
Scopri anche Brossura
Editore: Springer Berlin Heidelberg, 1992
ISBN 10: 3540558446 ISBN 13: 9783540558446
Lingua: Inglese
Da: Buchpark, Trebbin, Germania
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 508 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 68,48
Usato - A partire da EUR 40,66
Scopri anche Brossura
Editore: Springer Berlin Heidelberg, 1994
ISBN 10: 3540580255 ISBN 13: 9783540580256
Lingua: Inglese
Da: Buchpark, Trebbin, Germania
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 376 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 68,48
Usato - A partire da EUR 41,06
Scopri anche Brossura
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germania
EUR 40,00
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloSoftcover. 1986. 311 p. ATTENTION 1986 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540164791 Sprache: Englisch Gewicht in Gramm: 544.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 68,48
Usato - A partire da EUR 51,95
Scopri anche Brossura
Da: GloryBe Books & Ephemera, LLC, Deforest, WI, U.S.A.
EUR 4,28
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Good. Pages tanned otherwise Good. NOT A FORMER LIBRARY BOOK.
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
EUR 26,85
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Good. Paperback. Workshops in Computing. Spine ends are lightly bumped, otherwise only very light shelfwear on covers. Contents are sound, clean, clear. BW. Used.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 68,48
Usato - A partire da EUR 62,44
Scopri anche Brossura
Editore: Springer Berlin Heidelberg, 1994
ISBN 10: 3540584315 ISBN 13: 9783540584315
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 68,48
Usato - A partire da EUR 108,96
Scopri anche Brossura
Editore: Springer Berlin Heidelberg, 1994
ISBN 10: 3540587926 ISBN 13: 9783540587927
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Editore: Springer Berlin Heidelberg, 1999
ISBN 10: 354066677X ISBN 13: 9783540666776
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS'99) held in Tsukuba, Japan, November 11-13, 1999, and hosted by the Electrotechnical Laboratory (ETL). FLOPS is a forum for presenting and discussing all issues concerning functional programming, logic programming, and their integration. The sym- sium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan Village (1996), and Kyoto (1998). 1 There were 51 submissions from Austria ( ),Belgium (2),Brazil(3),China 3 3 1 7 (1), Denmark (2), France (3 ), Germany (8), Ireland (1), Israel ( ), Italy (1 ), 4 3 12 1 Japan (9 ), Korea (1), Morocco (1), The Netherlands (1), New Zealand (1), 3 1 1 3 5 Portugal ( ), Singapore ( ), Slovakia (1), Spain (4 ), Sweden (1), UK (4 ), 2 3 4 6 1 and USA (2 ), of which the program committee selected 21 for presentation. In 4 addition, this volume contains full papers by the two invited speakers, Atsushi Ohori and Mario Rodr guez-Artalejo.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 68,48
Usato - A partire da EUR 82,37
Scopri anche Brossura
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 90,42
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
Editore: Springer, 1992
Da: mountain, GEORGETOWN, CO, U.S.A.
EUR 40,06
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Good. Ex-library book rebound to a hardcover, usual library markings and stickers. Light wear to cover and pages.