Home Advanced Search

Advanced Search - Page 1

A Many-Sorted Calculus Based on Resolution and Paramodulation
  • PDF
  • English
  • Year: 1987
  • Author: Christoph Walther
Automatisierung von Terminierungsbeweisen
  • PDF
  • German
  • Year: 1991
  • Author: Christoph Walther (auth.), Wolfgang Bibel (eds.)
Semantik und Programmverifikation
  • PDF
  • German
  • Year: 2001
  • Author: Prof. Dr. rer. nat. habil. Christoph Walther (auth.)
Documenta Mnemonica. Band III Zentrale Gedächtnislehren des Spätmittelalters: Eine Auswahl von Traktaten mit Übersetzung und Kommentar
  • EPUB
  • German
  • Year: 2018
  • Author: Sabine Seelbach (editor); Angelika Kemper (editor); Christoph Walther (editor)
Documenta Mnemonica. Band III Zentrale Gedächtnislehren des Spätmittelalters: Eine Auswahl von Traktaten mit Übersetzung und Kommentar
  • PDF
  • German
  • Year: 2018
  • Author: Sabine Seelbach (editor); Angelika Kemper (editor); Christoph Walther (editor)
Caspar David Friedrich
  • PDF
  • English
  • Author: Walther A.
The ray and wave theory of lenses
  • DJVU
  • English
  • Year: 2006
  • Author: A. Walther
O Velho Testamento Em Português Traduzido Por João Ferreira De Almeida & Pelos Padres Dinamarqueses Missionários De Traquebar. Edições De Tranquebar Dos Anos De: 1719, 1732, 1738, 1744 & 1751. Cada Uma Contendo, Respectivamente: O Pentateuco, Os Doze Profetas, Os Livros Históricos, Livros Dogmáticos Ou Sapienciais & Os Quatro Profetas Maiores. Mas Com A Ordem De Aparecimento De Cada Bloco Sendo Da Seguinte Forma: 1719, 1738, 1744, 1751, 1732.
  • PDF
  • Portuguese
  • Year: 1757
  • Author: João Ferreira De Almeida; Johann Ernst Grünler; Bartholomäus Ziegenbalg; Benjamin Schulze; Nicolaus Dal; Christoph Theodosius Walther;
Leich, Lieder, Sangsprüche
  • PDF
  • German
  • Year: 2013
  • Author: Walther von der Vogelweide (editor); Karl Lachmann (editor); Christoph Cormeau (editor); Thomas Bein (editor); Horst Brunner (editor)
Walther von der Vogelweide: Leich, Lieder, Sangsprüche
  • PDF
  • German
  • Year: 2023
  • Author: Walther von der Vogelweide (editor); Karl Lachmann (editor); Christoph Cormeau (editor); Thomas Bein (editor); Horst Brunner (editor)
search