Solving open questions with an automated theorem-proving program

von Wos, L.
Veröffentlicht 1982

Cost function studies for power reactors

von Heestand, J.
Veröffentlicht 1961

An automated reasoning system

von Wos, L.
Veröffentlicht 1981

Entwicklung des VEB Nahrungsgütermaschinenbau Neubrandenburg zum leistungsfähigen Produzenten und Hauptauftragnehmer für technologische Anlagen für die Fleischverarbeitung

von Voß, L.
Veröffentlicht in Fleisch (1984)

Atlas d'embryologie des vertébrés

von Vos, L. de
Veröffentlicht 1980

Messianisches Judentum oder judaisierendes Christentum

von Baron, David
Veröffentlicht 1912

Softmax Recurrent Unit: A new type of RNN cell

von Vos, L.
Veröffentlicht in ESANN (28. : 2020 : Online) 28th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (2020)

De samenhang tussen Europese huizenprijzen!

von Rooij, Maarten van
Veröffentlicht in Maandschrift economie (1999)

ELMAR - Elektromobilität auf dem Wasser

von Voss, L.
Veröffentlicht in RET.Con (3. : 2020 : Nordhausen) RET.Con 2020 (2020)

Entwurf eines automatisierten textilmusterateliers

Veröffentlicht 1975

Die Heilung des Orest in Goethes Iphigenie : eine religiös-sittliche Lösung im Geiste des Christentums : zur Erinnerung an das erste Erscheinen von Goethes Iphigenie im Jahre 178...

von Matthias, Adolf
Veröffentlicht 1887

Text, literature, and aesthetics : in honor of Monroe C. Beardsley

Veröffentlicht 1986

Beam instrumentation forseen for LHC

von Bosser, J.
Veröffentlicht in Proceedings of the Workshop on Advanced Beam Instrumentation ; 1 (1991)

Control Protocol: The Proposed New CERN Standard Access Procedure to Accelerator Equipment. Status Report

von Baribaud, G.
Veröffentlicht in International Conference on Accelerators and Large Experimental Physics Control Systems (1991 : Tsukuba) Proceedings of the International Conference on Accelerators and Large Experimental Physics Control Systems (1992)