It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Open Library is running in limited-availability mode: login is disabled and some books may appear unavailable
Last edited anonymously
April 30, 2008 | History
Edit

Danny De Schreye

We need a photo of Danny De Schreye

3 works Add another?

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

  • Cover of: Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

    First published in 2010 — 1 edition
    Borrow Listen

    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: PPDP' 12: Proceedings of the 2012 ACM Sigplan Principles and Practice of Declarative Programming

    First published in 2012 — 1 edition
    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: The 1999 International Conference (Logic Programming)

    First published in 1999 — 1 edition
    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 Danny De Schreye

Subjects

Congresses, Logic programming, Artificial intelligence, Beweistheorie, Computer programming, Computer science, Informatique, Logic, Logic design, Logische Programmierung, Programmierlogik, Programmsynthese, Programmtransformation, Software, Software engineering

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL3401474A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 30, 2008 Created by an anonymous user initial import