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

Christoph Walther

10 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: Mittelniederdeutsches Handwörterbuch: Nach Dem Tode des Verfassers Vollendet Von Christoph Walther

    First published in 2018 6 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: Zentrale Gedächtnislehren des Spätmittelalters: Eine Auswahl Von Traktaten Mit Übersetzung und Kommentar

    First published in 2018 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: A many-sorted calculus based on resolution and paramodulation

    First published in 1987 2 editions 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
  • Cover of: Mittelniederdeutsches Handwörterbuch.

    First published in 1990 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: Jakob Fischbacher und die Bayernpartei: biografische Studien 1886 bis 1972

    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: Automatisierung Von Terminierungsbeweisen

    First published in 1991 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: Automatisierung von Terminierungsbeweisen

    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: Semantik und Programmverifikation

    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: Semantik und Programmverifikation

    First published in 2001 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: Register aller bücher und schrifften des ehrnwirdigen herrn doctoris Martini Lutheri, seliger gedechtnis welche in die eilff deudsche teil und in die sieben latinische tomos zu Wittemberg gedruckt sind. Item. Etliche bücher und schrifften welche in den zwelfften teil wils Gott in kurtz gedruckt sollen werden nach diesem register verzeichnet

    First published in 1558 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 Christoph Walther
Subjects
Automatisches Beweisverfahren, Algorithmus, Artificial intelligence, Automatic theorem proving, Bewijs (wetenschap), Bibliography, De monstration automatique, Dictionaries, Formale Semantik, Funktionale Programmiersprache, History, Intelligence artificielle, Ku nstliche Intelligenz, Kunstmatige intelligentie, Low German language, Mehrsortige Pra dikatenlogik, Memory, Mnemonics, OUR Brockhaus selection, Political science, Programmverifikation, Psychology, Redeneren, Sources, Terminierung
People
Martin Luther (1483-1546)
Time
To 1500

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL1069781A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
August 20, 2008 Edited by an anonymous user fix author name
April 1, 2008 Created by an anonymous user initial import