It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited anonymously
April 30, 2008 | History
Edit

E. Engeler

We need a photo of E. Engeler

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: Metamathematik der Elementarmathematik

    First published in 2013 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: Symposium on Semantics of Algorithmic Languages

    First published in 2006 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: Logic of programs: workshop, ETH Zürich, May-July 1979

    First published in 1981 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: Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics)

    First published in 1971 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: Formal languages: automata and structures.

    First published in 1968 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: Logic of Programs: Workshop, ETH Zürich, May-July 1979 (Lecture Notes in Computer Science)

    First published in 1981 1 edition in 1 language — 1 previewable
    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
We need a photo of E. Engeler

Subjects
Algoritmer, Computer algorithms, Computer programming, Computer programs, Congresses, Datenverarbeitung, Formal languages, Formale Methode, Kongresser, Logik, Logique symbolique et mathématique, Matematisk logikk, Programmation (Mathématiques), Programmeurs, Programmierung, Programming languages (electronic computers), Symbolic and mathematical Logic

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL3327593A

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