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

Christoph Walther

We need a photo of Christoph Walther

11 works Add another?

  • Cover of: Mittelniederdeutsches Handwörterbuch: Nach Dem Tode des Verfassers Vollendet Von Christoph Walther

    First published in 2018 — 6 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Zentrale Gedächtnislehren des Spätmittelalters: Eine Auswahl Von Traktaten Mit Übersetzung und Kommentar

    First published in 2018 — 3 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: A many-sorted calculus based on resolution and paramodulation
    Preview

    First published in 1987 — 2 editions
    Borrow

    My Reading Lists:

    Create a new list

  • 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
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Jakob Fischbacher und die Bayernpartei: biografische Studien 1886 bis 1972

    1 edition
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Versuche zur Darstellung von Butadientelechelen durhch anionische Polymerisation

    First published in 1980 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Semantik und Programmverifikation

    First published in 2012 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Automatisierung Von Terminierungsbeweisen

    First published in 1991 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Automatisierung von Terminierungsbeweisen

    First published in 1991 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Semantik und Programmverifikation

    First published in 2001 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Mittelniederdeutsches Handwörterbuch.

    First published in 1990 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

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