It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by MARC Bot
July 5, 2019 | History
Edit

Krzysztof R. Apt

We need a photo of Krzysztof R. Apt

12 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

    First published in 2004 5 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Constraint Logic Programming using Eclipse

    First published in 2006 5 editions in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Lectures in Game Theory for Computer Scientists

    First published in 2011 4 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Edsger Wybe Dijkstra: His Life, Work, and Legacy

    First published in 2022 3 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Verification of Sequential and Concurrent Programs

    First published in 1997 3 editions in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: New Trends in Constraints: Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers (Lecture Notes in Computer Science)

    First published in 2000 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge

    First published in 2011 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Verification of Sequential and Concurrent Programs

    First published in 1991 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The Logic Programming Paradigm: A 25-Year Perspective

    First published in 1999 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logics and Models of Concurrent Systems

    First published in 1985 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Programmverifikation: Sequentielle, parallele und verteilte Programme

    First published in 1994 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logic Programming Languages: Constraints, Functions, and Objects (Logic Programming)

    First published in 1993 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Krzysztof R. Apt

Subjects
Computer science, Logic programming, Artificial intelligence, Constraint programming (computer science), Logic design, Computer Communication Networks, Computer software, Computer software, verification, Congresses, Constraint programming (Computer science), Database management, Electronic data processing, distributed processing, Knowledge, theory of, Parallel processing (electronic computers), Programmation logique, Programmation par contraintes, Programming languages (electronic computers), Programmverifikation
People
Edsger Wybe Dijkstra

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7574395A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
July 5, 2019 Created by MARC Bot import new book