- 5 Risultati
prezzo più basso: € 35,83, prezzo più alto: € 208,49, prezzo medio: € 117,76
1
Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295) - Flener, Pierre
Ordina
da amazon.co.uk
£ 85,51
(indicativi € 100,04)
Spedizione: € 5,621
Ordina
Dettagli del offerente
Link sponsorizzato
Flener, Pierre:

Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295) - copertina rigida, flessible

1994, ISBN: 9780792395324

Springer, Hardcover, Auflage: 1995, 260 Seiten, Publiziert: 1994-12-31T00:00:01Z, Produktgruppe: Book, 1.22 kg, Books Global Store, Special Features, Books, AI & Machine Learning, Compute… Altro …

Costi di spedizione:Usually dispatched within 3 to 4 days. Real shipping costs can differ from the ones shown here. (EUR 5.62) Smaller World Future
Chiudere (X)
2
Logic Program Synthesis from Incomplete Information (The Springer International Series in Engineering and Computer Science, 295) - Pierre Flener
Ordina
da amazon.com
$ 39,00
(indicativi € 35,83)
Spedizione: € 3,671
Ordina
Dettagli del offerente
Link sponsorizzato

Pierre Flener:

Logic Program Synthesis from Incomplete Information (The Springer International Series in Engineering and Computer Science, 295) - copertina rigida, flessible

1994, ISBN: 9780792395324

Kluwer Academic Publishers, Hardcover, Auflage: 1995, 264 Seiten, Publiziert: 1994T, Produktgruppe: Book, 1.22 kg, Object-Oriented Design, Software Design, Testing & Engineering, Programm… Altro …

Costi di spedizione:Real shipping costs can differ from the ones shown here. (EUR 3.67)
Chiudere (X)
3
Logic Program Synthesis from Incomplete Information - Pierre Flener
Ordina
da Hugendubel.de
€ 208,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Pierre Flener:
Logic Program Synthesis from Incomplete Information - edizione con copertina flessibile

ISBN: 9780792395324

Logic Program Synthesis from Incomplete Information ab 208.49 € als gebundene Ausgabe: Auflage 1995. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet, Medien > Bücher nein Buch (geb… Altro …

Costi di spedizione:Shipping in 5 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
4
Ordina
da alibris.com
$ 39,12
(indicativi € 35,94)
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Pierre Flener:
Logic Program Synthesis From Incomplete Information (International Series in Engineering and Computer Science) - copertina rigida, flessible

1994, ISBN: 9780792395324

Print on Demand (Hardcover), Great reading/study copy. May have highlights and/or notes. Ships Fast! Satisfaction Guaranteed!, Used, good, [PU: Kluwer Academic Publishers]

Costi di spedizione: EUR 0.00 Skokie, il, Solr Books
Chiudere (X)
5
Logic Program Synthesis from Incomplete Information - Pierre Flener
Ordina
da Hugendubel.de
€ 208,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Pierre Flener:
Logic Program Synthesis from Incomplete Information - edizione con copertina flessibile

ISBN: 0792395328

Logic Program Synthesis from Incomplete Information ab 208.49 € als gebundene Ausgabe: Auflage 1995. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet, Medien > Bücher nein Buch (geb… Altro …

Costi di spedizione:Shipping in 5 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Logic Program Synthesis from Incomplete Information (The Springer International Series in Engineering and Computer Science, 295)
Autore:
Titolo:
ISBN:

9780792395324


Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program development would be less costly. This monograph describes a novel approach to Inductive Logic Programming (ILP), which cross-fertilizes logic programming and machine learning. Aiming at the synthesis of recursive logic programs only, and this from incomplete information, we take a software engineering approach that is more appropriate than a pure artificial intelligence approach. This book is suitable as a secondary text for graduate level courses in software engineering and artificial intelligence, and as a reference for practitioners of program synthesis.

Informazioni dettagliate del libro - Logic Program Synthesis from Incomplete Information (The Springer International Series in Engineering and Computer Science, 295)


EAN (ISBN-13): 9780792395324
ISBN (ISBN-10): 0792395328
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1994
Editore: Kluwer Academic Publishers
268 Pagine
Peso: 0,567 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-11-27T09:54:37+01:00 (Rome)
Pagina di dettaglio ultima modifica in 2023-06-24T22:09:31+02:00 (Rome)
ISBN/EAN: 9780792395324

ISBN - Stili di scrittura alternativi:
0-7923-9532-8, 978-0-7923-9532-4
Stili di scrittura alternativi e concetti di ricerca simili:
Titolo del libro: logic program synthesis from incomplete information, logic computer science, logic inc, international engineering, springer series, the program

Dati dell'editore

Autore: Pierre Flener
Titolo: The Springer International Series in Engineering and Computer Science; Logic Program Synthesis from Incomplete Information
Editore: Springer; Springer US
242 Pagine
Anno di pubblicazione: 1994-12-31
New York; NY; US
Lingua: Inglese
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
XVIII, 242 p.

BB; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; algorithms; artificial intelligence; development; intelligence; learning; logic programming; machine learning; programming; software; software engineering; validation; Compilers and Interpreters; Software Engineering; Artificial Intelligence; Software Engineering; Künstliche Intelligenz; BC

I State of the Art.- 1 Automatic Programming.- 2 Deductive Inference in Automatic Programming.- 3 Inductive Inference in Automatic Programming.- 4 A Logic Program Development Methodology.- 5 Objectives.- II Building Blocks.- 6 A Specification Approach.- 7 A Framework for Stepwise Logic Algorithm Synthesis.- 8 Algorithm Analysis and Algorithm Schemata.- 9 The Proofs-as-Programs Method.- 10 The Most-Specific-Generalization Method.- III A Logic Algorithm Synthesis Mechanism.- 11 Overview of the Synthesis Mechanism.- 12 The Expansion Phase.- 13 The Reduction Phase.- 14 Conclusion.- Appendix: Conventions, Abbreviations, and Symbols.- References.

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9781461522058 Logic Program Synthesis from Incomplete Information (Pierre Flener)

< Per archiviare...