Logic Programming Languages 1
bokomslag Logic Programming Languages
Data & IT

Logic Programming Languages

Krzysztof R Apt • J W De Bakker • J M Rutten

Pocket

389:-

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:-

  • 223 sidor
  • 1993
This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming.
  • Författare: Krzysztof R Apt, J W De Bakker, J M Rutten
  • Format: Pocket/Paperback
  • ISBN: 9780262511674
  • Språk: Engelska
  • Antal sidor: 223
  • Utgivningsdatum: 1993-03-01
  • Förlag: MIT Press

Du kanske gillar

  1. bokomslag Meta-Logics and Logic Programming

    Meta-Logics and Logic Programming

    Franco Turini Krzysztof R Apt

    Pocket

    589:-
  2. bokomslag Science Communication: An Introduction

    Science Communication: An Introduction

    Frans Van Dam, Liesbeth De Bakker, Anne M Dijkstra, Eric Allen Jensen

    Inbunden

    1009:-
  3. bokomslag The Craft of Prolog

    The Craft of Prolog

    Richard O'Keefe

    Pocket

    979:-
  4. bokomslag Logic Programming

    Logic Programming

    Joxan Jaffar

    Pocket

    1009:-
  5. bokomslag New Trends in Constraints

    New Trends in Constraints

    Krzysztof R Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi

    Pocket

    789:-
  6. bokomslag Science Communication: An Introduction

    Science Communication: An Introduction

    Frans Van Dam, Liesbeth De Bakker, Anne M Dijkstra, Eric Allen Jensen

    Pocket

    529:-
  7. bokomslag Imperfections

    Imperfections

    Caleb Kelly, Jakko Kemper, Ellen Rutten

    Inbunden

    2239:-
  8. bokomslag The "Companion to the Prayer Book" Defended Against the Unfounded Objections of the Rev. Dr. I.W.D. Gray / by F. Coster. And A Reply to the Rev. F. Coster's Defence of the "Companion

    The "Companion to the Prayer Boo...

    Frederick D Coster, J W D Gray, Robert ?-Bayard

    Pocket

    249:-
  9. bokomslag Logic Programming

    Logic Programming

    Danny De Schreye

    Pocket

    1919:-
  10. bokomslag Logic Programming

    Logic Programming

    Pascal Van Hentenryck

    Pocket

    1069:-

Andra av samma författare

  1. bokomslag Meta-Logics and Logic Programming

    Meta-Logics and Logic Programming

    Franco Turini Krzysztof R Apt

    Pocket

    589:-
  2. bokomslag Control Flow Semantics

    Control Flow Semantics

    Erik P De Vink J W De Bakker

    Pocket

    2019:-
  3. bokomslag Lectures in Game Theory for Computer Scientists

    Lectures in Game Theory for Computer ...

    Krzysztof R Apt

    Inbunden

    2069:-
  4. bokomslag Constraint Logic Programming using Eclipse

    Constraint Logic Programming using Ec...

    Krzysztof R Apt

    Inbunden

    1399:-
  5. bokomslag Verification of Sequential and Concurrent Programs

    Verification of Sequential and Concur...

    Krzysztof R Apt, Frank S De Boer, Ernst-Rdiger Olderog

    Pocket

    1219:-
  6. bokomslag Edsger Wybe Dijkstra

    Edsger Wybe Dijkstra

    Tony Hoare Krzysztof R Apt

    Pocket

    1799:-
  7. bokomslag Edsger Wybe Dijkstra

    Edsger Wybe Dijkstra

    Tony Hoare Krzysztof R Apt

    Inbunden

    2169:-
  8. bokomslag Automata, Languages and Programming

    Automata, Languages and Programming

    J Van Leeuwen J W De Bakker

    Pocket

    719:-
  9. bokomslag Recent Advances in Constraints

    Recent Advances in Constraints

    Krzysztof R Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Vncza

    Pocket

    769:-
  10. bokomslag Foundations of Object-Oriented Languages

    Foundations of Object-Oriented Languages

    J W De Bakker, W P De Roever, G Rozenberg

    Pocket

    769:-