[Stammbucheintrag] : [S.l.] : 22.10.1553

von Rath, Jacob
Veröffentlicht in Deyger, Johann Valentin, 1498 - Stammbuch Johann Valentin Deyger - Mh 1030 (1553)

Boden und Production : ein Versuch zur Lösung der Aufgabe die Bodenproduction in Oesterreich schneller zu heben

von Rad, Jacob Christoph
Veröffentlicht 1866

Der Rübenzucker in national-ökonomischer, finanzieller, industrieller u. landwirthschaftlicher Beziehung m. bes. Rücks. auf d. österreichischen Staaten u. Deutschland

von Rad, Jacob Christoph
Veröffentlicht 1848

˜Derœ Rübenzucker in national-ökonomischer, finanzieller, industrieller und landwirthschaftlicher Beziehung : mit besonderer Rücksicht auf die österreichischen Staaten und Deutsc...

von Rad, Jacob Christoph
Veröffentlicht 1848

Handwerkliches Schriftzeichnen : Grundsätzliches ; 40 Tafeln und 16 Seiten Text

von Uhrig, Helmuth
Veröffentlicht 1935

Automated Generation of Exam Sheets for Automated Deduction

von Hozzová, Petra
Veröffentlicht in CICM (14. : 2021 : Online) Intelligent Computer Mathematics (2021)

Subsumption Demodulation in First-Order Theorem Proving

von Gleiss, Bernhard
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

SAT-Based Subsumption Resolution

von Coutelier, Robin
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)