XtreamFm Library
Coins Sign in Join free
Genres ▼
Literature 13,891 History 11,469 Adventure 5,075 Romance 2,831 Mythology & Epics 2,550 Poetry 2,480 Devotional 3,636 Mystery & Crime 2,025 Children's 1,997 Drama 1,606 Philosophy 1,449 Education 3,726 Science 1,669 Culture & Travel 1,153 Essays 813 Biography 359 Health 540 Self Improvement 242 Money & Wealth 295 Horror 212 Business 153 54
Languages ▼
Indian languages Hindi2,803 Sanskrit2,158 Kannada1,291 Telugu424 Urdu185 Tamil146 Malayalam89 Odia23 Bodo2 Kashmiri1 Khasi1 More languages English38,728 French3,148 Finnish3,056 German1,815 Italian904 Dutch706 Spanish677 Hungarian600 Portuguese438 Swedish200 Chinese186 Greek165 All 63 languages→

Home › Authors › Christoph Walther

Christoph Walther

1 volume in the collection.

Christoph Walther

Christoph Walther is a German computer scientist, known for his contributions to automated theorem proving. He is Professor emeritus at Darmstadt University of Technology.

Biography from Wikipedia, CC BY-SA 4.0.

Mittelniederdeutsches Handwörterbuch

August Lübben · Christoph Walther