It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by ImportBot
May 4, 2020 | History
Edit

Aart Middeldorp

We need a photo of Aart Middeldorp

6 works Add another?

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

  • Cover of: Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

    First published in 2012 — 5 editions
    Locate

    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: Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings (Lecture Notes in Computer Science)

    First published in 1999 — 2 editions
    Locate

    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: Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001. Proceedings

    First published in 2003 — 1 edition
    Locate

    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: Processes, Terms and Cycles : Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

    First published in 2005 — 1 edition
    Locate

    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: Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

    First published in 2015 — 1 edition
    Locate

    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: Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday (Lecture Notes in Computer Science)

    First published in 2006 — 1 edition
    Locate

    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 Aart Middeldorp

Subjects

Artificial Intelligence (incl. Robotics), Automatic theorem proving, Calculus, Logic programming, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Artificial intelligence, Aspektorientierte Programmierung, Computer Science, Computer science, Congresses, Constraint-Programmierung, Functional programming (Computer science), Infinite Processes, Infinity, Lambda calculus, Lambda-Kalkül, Lambda-calcul, Logic, Logic design, Logic, symbolic and mathematical, MATHEMATICS, Machine theory, Mathematical Logic and Foundations, Processus infinis

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7865225A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
May 4, 2020 Created by ImportBot import new book