It looks like you're offline.
Donate
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?

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

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

    First published in 2015 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: 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 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
We need a photo of Aart Middeldorp

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

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