Foundations of Logic and Functional Programming 1
bokomslag Foundations of Logic and Functional Programming
Data & IT

Foundations of Logic and Functional Programming

Mauro Boscarol • Luigia Carlucci Aiello • Giorgio Levi

Pocket

769:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 224 sidor
  • 1988
This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. This book contains five papers contributed by the invited speakers and five selected contributions.
  • Författare: Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi
  • Format: Pocket/Paperback
  • ISBN: 9783540191292
  • Språk: Engelska
  • Antal sidor: 224
  • Utgivningsdatum: 1988-04-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Get Me Carlucci

    Get Me Carlucci

    Frank Carlucci Kristin Carlucci Weed

    Inbunden

    449:-
  2. bokomslag TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

    TAPSOFT '87: Proceedings of the Inter...

    Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari

    Pocket

    539:-
  3. bokomslag Big Data in the Arts and Humanities

    Big Data in the Arts and Humanities

    Daniela Carlucci Giovanni Schiuma

    Inbunden

    2179:-
  4. bokomslag TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

    TAPSOFT '87: Proceedings of the Inter...

    Hartmut Ehrig, Robert A Kowalski, Giorgio Levi, Ugo Montanari

    Pocket

    539:-
  5. bokomslag Integrated Formal Methods

    Integrated Formal Methods

    Luigia Petre Einar Broch Johnsen

    Pocket

    769:-
  6. bokomslag Big Data in the Arts and Humanities

    Big Data in the Arts and Humanities

    Daniela Carlucci Giovanni Schiuma

    Pocket

    909:-
  7. bokomslag Perspectives on Social LCA

    Perspectives on Social LCA

    Marzia Traverso, Luigia Petti, Alessandra Zamagni

    Pocket

    769:-
  8. bokomslag Italy and the USA

    Italy and the USA

    Guido Bonsaver, Alessandro Carlucci, Matthew Reza

    Pocket

    369:-
  9. Hitster Rock

    Hitster Rock

    Spel, Hitster

    299:- (349:-)
  10. bokomslag New Perspectives in Early Communicative Development

    New Perspectives in Early Communicati...

    Luigia Camaioni Jacqueline Nadel

    Pocket

    689:-

Andra av samma författare

  1. bokomslag Advances in Logic Programming Theory

    Advances in Logic Programming Theory

    Giorgio Levi

    Inbunden

    2559:-
  2. bokomslag TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

    TAPSOFT '87: Proceedings of the Inter...

    Hartmut Ehrig, Robert A Kowalski, Giorgio Levi, Ugo Montanari

    Pocket

    539:-
  3. bokomslag TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

    TAPSOFT '87: Proceedings of the Inter...

    Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari

    Pocket

    539:-
  4. bokomslag Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abs...

    Giorgio Levi Bernhard Steffen

    Pocket

    769:-
  5. bokomslag Algebraic and Logic Programming

    Algebraic and Logic Programming

    Giorgio Levi Helene Kirchner

    Pocket

    769:-
  6. bokomslag Algebraic and Logic Programming

    Algebraic and Logic Programming

    Mario Rodriguez-Artalejo Giorgio Levi

    Pocket

    769:-
  7. bokomslag Static Analysis

    Static Analysis

    Giorgio Levi

    Pocket

    789:-