Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295) - encadernado, livro de bolso
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… mais…
amazon.co.uk Smaller World Future Custos de envio:Usually dispatched within 3 to 4 days. Real shipping costs can differ from the ones shown here. (EUR 5.62) Details... |
Logic Program Synthesis from Incomplete Information (The Springer International Series in Engineering and Computer Science, 295) - encadernado, livro de bolso
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… mais…
amazon.com Custos de envio:Real shipping costs can differ from the ones shown here. (EUR 3.67) Details... |
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… mais…
Hugendubel.de Custos de envio:Shipping in 5 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Logic Program Synthesis From Incomplete Information (International Series in Engineering and Computer Science) - encadernado, livro de bolso
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]
alibris.com |
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… mais…
Hugendubel.de Custos de envio:Shipping in 5 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
no/na amazon.co.uk
Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295) - encadernado, livro de bolso
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… mais…
Pierre Flener:
Logic Program Synthesis from Incomplete Information (The Springer International Series in Engineering and Computer Science, 295) - encadernado, livro de bolso1994, 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… mais…
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… mais…
Logic Program Synthesis From Incomplete Information (International Series in Engineering and Computer Science) - encadernado, livro de bolso
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]
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… mais…
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Logic Program Synthesis from Incomplete Information (The Springer International Series in Engineering and Computer Science, 295)
EAN (ISBN-13): 9780792395324
ISBN (ISBN-10): 0792395328
Livro de capa dura
Livro de bolso
Ano de publicação: 1994
Editor/Editora: Kluwer Academic Publishers
268 Páginas
Peso: 0,567 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-11-27T08:54:37+00:00 (Lisbon)
Página de detalhes modificada pela última vez em 2023-06-24T21:09:31+01:00 (Lisbon)
Número ISBN/EAN: 0792395328
Número ISBN - Ortografia alternativa:
0-7923-9532-8, 978-0-7923-9532-4
Ortografia alternativa e termos de pesquisa relacionados:
Título do livro: logic program synthesis from incomplete information, logic computer science, logic inc, international engineering, springer series, the program
Dados da editora
Autor: Pierre Flener
Título: The Springer International Series in Engineering and Computer Science; Logic Program Synthesis from Incomplete Information
Editora: Springer; Springer US
242 Páginas
Ano de publicação: 1994-12-31
New York; NY; US
Língua: Inglês
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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9781461522058 Logic Program Synthesis from Incomplete Information (Pierre Flener)
< Para arquivar...