Author Search Results

Christoph Walther

Christoph Walther (born 9 August 1950) is a German computer scientist, known for his contributions to automated theorem proving. He is Professor emeritus at Darmstadt University of Technology. Provided by Wikipedia

Mittelniederdeutsches Handwörterbuch / von August Lübben. Nach d. Tode d. Verf. vollendet von Christoph Walther

Participants: Lübben, August 1818-1884 [ VerfasserIn ]; Walther, Christoph [ VerfasserIn ]; Walther, Christoph [ VerfasserIn ]
Published: 1980

Other Authors: “...Walther, Christoph...”

Vernunft und Innovation : : über das alte Vorurteil für das Neue : Festschrift für Walther Ch. Zimmerli zum 65. Geburtstag / / Antje Gimmler, Markus Holzinger, Lothar Knopp (Hrsg.).

Participants: Gimmler, Antje, 1961- [ TeilnehmendeR ]; Holzinger, Markus. [ TeilnehmendeR ]; Knopp, Lothar. [ TeilnehmendeR ]; Zimmerli, Walther Ch. 1945- [ TeilnehmendeR ]
Published: 2010.

“...(Walther Christoph),...”

Documenta Mnemonica : : Text- und Bildzeugnisse zu Gedächtnislehren und Gedächtniskünsten von der Antike bis zum Ende der Frühen Neuzeit. / Band III, : Zentrale Gedächtnislehren des Spätmittelalters ; Eine Auswahl von Traktaten mit Übersetzung und Kommentar / / hrsg. von Sabine Seelbach, Angelika Kemper.

Participants: Kemper, Angelika, [ HerausgeberIn, HerausgeberIn ]; Seelbach, Sabine, [ HerausgeberIn, HerausgeberIn ]; Seelbach, Sabine, [ HerausgeberIn ]; Walther, Christoph, [ MitwirkendeR, MitwirkendeR ]; Walther, Christoph, [ MitwirkendeR ]
Published: [2018]
Superior document: Title is part of eBook package: De Gruyter DG Plus DeG Package 2019 Part 1

Other Authors: “...Walther, Christoph,...”

Links: Get full text; Get full text; Cover

Handbuch der Künstlichen Intelligenz / / hrsg. von Günther Görz, Josef Schneeberger.

Participants: Beckstein, Clemens, [ MitwirkendeR, MitwirkendeR ]; Borgelt, Christian, [ MitwirkendeR, MitwirkendeR ]; Borgelt, Christian, [ MitwirkendeR ]; Brewka, Gerhard, [ MitwirkendeR, MitwirkendeR ]; Brewka, Gerhard, [ MitwirkendeR ]; ...
Published: [2010]
Superior document: Title is part of eBook package: De Gruyter DGBA Physical Sciences 2000 - 2014

Other Authors: “...Walther, Christoph,...”

Links: Get full text; Get full text; Cover

Christoph Walther

Related Subjects