Algebraic and Logic Programming 1
bokomslag Algebraic and Logic Programming
Data & IT

Algebraic and Logic Programming

Michael Hanus • Jan Heering • Karl Meinke

Pocket

1009:-

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

Uppskattad leveranstid 7-11 arbetsdagar

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

  • 297 sidor
  • 1997
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997. The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.
  • Författare: Michael Hanus, Jan Heering, Karl Meinke
  • Format: Pocket/Paperback
  • ISBN: 9783540634591
  • Språk: Engelska
  • Antal sidor: 297
  • Utgivningsdatum: 1997-08-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Algebraic and Logic Programming

    Algebraic and Logic Programming

    Mario Rodriguez-Artalejo Michael Hanus

    Pocket

    1009:-
  2. bokomslag Higher-Order Algebra, Logic, and Term Rewriting

    Higher-Order Algebra, Logic, and Term...

    Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Mller

    Pocket

    1009:-
  3. bokomslag Computer Science Logic

    Computer Science Logic

    Egon Brger, Yuri Gurevich, Karl Meinke

    Pocket

    1009:-
  4. bokomslag Machine Learning for Dynamic Software Analysis: Potentials and Limits

    Machine Learning for Dynamic Software...

    Amel Bennaceur, Reiner Hhnle, Karl Meinke

    Pocket

    1119:-
  5. bokomslag Principles of Declarative Programming

    Principles of Declarative Programming

    Catuscia Palamidessi, Hugh Glaser, Karl Meinke

    Pocket

    1009:-
  6. bokomslag Wild Work Pack A

    Wild Work Pack A

    Margie Markarian, Linda Tagliaferro, Mary Meinking

    Inbunden

    959:-
  7. bokomslag Practical Aspects of Declarative Languages

    Practical Aspects of Declarative Lang...

    Michael Hanus

    Pocket

    1009:-
  8. bokomslag Fire the Landscaper

    Fire the Landscaper

    Phil M Williams

    Pocket

    199:-
  9. bokomslag Customs Around the World Pack B of 4

    Customs Around the World Pack B of 4

    Mary Meinking, Wil Mara, Mary Meinking, Wil Mara, Lindsay Shaffer

    Häftad

    699:-
  10. bokomslag Neighbors to Die For

    Neighbors to Die For

    Linda Lovely

    Pocket

    329:-

Andra av samma författare

  1. bokomslag Declarative Programming and Knowledge Management

    Declarative Programming and Knowledge...

    Dietmar Seipel, Michael Hanus, Salvador Abreu

    Pocket

    1009:-
  2. bokomslag Functional and Constraint Logic Programming

    Functional and Constraint Logic Progr...

    Claudio Sacerdoti Coen Michael Hanus

    Pocket

    1009:-
  3. bokomslag Functional and Logic Programming

    Functional and Logic Programming

    Atsushi Igarashi Michael Hanus

    Pocket

    959:-
  4. bokomslag Tests and Proofs

    Tests and Proofs

    Karl Meinke Laura Kovcs

    Pocket

    1009:-
  5. bokomslag Practical Aspects of Declarative Languages

    Practical Aspects of Declarative Lang...

    Daniela Inclezan Michael Hanus

    Pocket

    1339:-
  6. bokomslag Declarative Programming and Knowledge Management

    Declarative Programming and Knowledge...

    Ricardo Rocha Michael Hanus

    Pocket

    899:-
  7. bokomslag Machine Learning for Dynamic Software Analysis: Potentials and Limits

    Machine Learning for Dynamic Software...

    Amel Bennaceur, Reiner Hhnle, Karl Meinke

    Pocket

    1119:-
  8. bokomslag Applications of Declarative Programming and Knowledge Management

    Applications of Declarative Programmi...

    Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein

    Pocket

    1009:-
  9. bokomslag Higher-Order Algebra, Logic, and Term Rewriting

    Higher-Order Algebra, Logic, and Term...

    Jan Heering, Karl Meinke, Bernhard Mller, Tobias Nipkow

    Pocket

    1009:-
  10. bokomslag Computer Science Logic

    Computer Science Logic

    Egon Brger, Yuri Gurevich, Karl Meinke

    Pocket

    1009:-