KI-Beratung Beta

Produktbild: Functional and Logic Programming
Band 9613

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.02.2016

Abbildungen

XII, 253 p. 55 illus. in color.

Herausgeber

Oleg Kiselyov + weitere

Verlag

Springer

Seitenzahl

253

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

411 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-319-29603-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.02.2016

Abbildungen

XII, 253 p. 55 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

253

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

411 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-319-29603-6

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Functional and Logic Programming

  • Logic/Constraint
    Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation
    Computer Project.- From Sets to Bits in Coq.- From proposition to program:
    embedding the refinement calculus in Coq.- The Boolean Constraint Solver of
    SWI-Prolog: System Description.- Probabilistic inference by program
    transformation in Hakaru: System description.- An interaction net encoding of
    Godel's System T.- Space-efficient Planar Acyclicity Constraints: A Declarative
    Pearl.- Executable Relational Specifications of Polymorphic Type Systems using
    Prolog.- Proof Relevant Corecursive Resolution.- A Coq Library For Internal
    Verification of Running-Times.- A Transformational Approach to Parametric
    Accumulated-cost Static Profiling.- Polymorphic Types in Erlang Function
    Specifications.- Declarative foreign function binding through generic
    programming.- Declarative Programming with Algebra.