T-Unification, Part I: Unification of Kommutative Terms

von Siekmann, J.
Veröffentlicht 1976

Automation of reasoning

Veröffentlicht 1983

Universal unification and a classification of equational theories

von Siekmann, J.
Veröffentlicht 1982

Automation of reasoning

Veröffentlicht 1983

Studien- und forschungsfuehrer kuenstliche intelligenz

Veröffentlicht 1983

Automation of reasoning

Veröffentlicht 1983

Automation of reasoning

Automation of reasoning

Veröffentlicht 1983

Logical foundations

Veröffentlicht 1993

Logical foundations

Veröffentlicht 1993

Deduction methodologies

Veröffentlicht 1994

Deduction methodologies

Veröffentlicht 1996

Oscillations of a vapour cavity in a rotating cylindrical tank

von Pao, Sui-Kwong Paul
Veröffentlicht in Siekmann, Julius On liquid sloshing in a cylindrical tank with a flexible bottom under strong capillary and weak gravity conditions (1968)

Prüfungsvorbereitung Hotel- und Gaststättengewerbe : Zwischen- und Abschlußprüfung

von Loch, G.
Veröffentlicht 1993

Experimentelle Untersuchungen über das Verhalten von Gasblasen in einem Null-g-Simulator : gemeinsame Jahrestagung der DGLR und ÖGFT, (6. Jahrestagung der DGLR), (11. Jahrestagun...

von Siekmann, J.
Veröffentlicht 1973

Unification : International workshop. abstracts. 29 - 31 jul 1992

Veröffentlicht 1992

Note on the calculation of the suction force

von Siekmann, J.
Veröffentlicht in Siam review ; 7.1965,3, S. 349-355 (1966)

Some recent decelopments in sea animal locomotion hydrodynamics

von Reece, J. W.
Veröffentlicht in Reece, J. W. Theoretical studies on sea animal locomotion ; [Pt.] 3: Swimming of a flexible hydrofoil near a free surface (1965)

On the shape of a rotating liquid drop in an electric field

von Habip, L. M.
Veröffentlicht in Siekmann, Julius On liquid sloshing in a cylindrical tank with a flexible bottom under strong capillary and weak gravity conditions (1968)

On the swimming of hinged hydrofoils

von Bowlus, G. H.
Veröffentlicht in Siekmann, J. Theoretical studies on sea animal locomotion ; [Pt.] 4: Note on the calculation of the suction force (1966)