- JSTOR 41190615. Buckingham,
David (2010), "Defining
Digital Literacy", in
Bachmair, Ben (ed.),
Medienbildung in
neuen Kulturräumen (in German), VS Verlag...
- Harvey; Heazlewood,
Joshua L.; Giglione, Carmela; Holdsworth,
Michael J.;
Bachmair, Andreas; Schulze,
Waltraud X. (2019-04-29). "The Scope, Functions, and...
- 267. p. 54. doi:10.1007/3-540-18088-5_6. ISBN 978-3-540-18088-3., p. 55
Bachmair, L.; Dershowitz, N.; Hsiang, J. (Jun 1986). "Orderings for
Equational Proofs"...
- 2004, Saarbrücken) was a
German computer scientist who
together with Leo
Bachmair developed the
superposition calculus,
which is (as of 2007) used in most...
- 1998 1998 taff
extra Anna
Bosch 2001 2002
Stefan Pinnow 2001 2002
Dominik Bachmair 2002 2005
Miriam Pielhau 2002 2005
Stefan Gödde 2005 2009
Charlotte Würdig...
- LICS
proceedings 20
years earlier,
which have
become influential. Leo
Bachmair,
Nachum Dershowitz, Jieh Hsiang, "Orderings for
Equational Proofs" E. Allen...
- England; Reading, M****: Addison-Wesley. p. 26. ISBN 978-0-201-41640-4.
Bachmair, Leo (2009). "CSE541
Logic in
Computer Science" (PDF).
Stony Brook University...
- Bücherkiste:
Monatsschrift für Literatur,
Graphik und Buchbesprechung. Munich:
Bachmair 1919-1921 (Reprinted: Nendeln/Liechtenstein:
Kraus 1977)
Verworrene Städte...
- Rewrite-Based
Equational Theorem Proving with
Selection and Simplification, Leo
Bachmair and
Harald Ganzinger,
Journal of
Logic and Com****tion 3(4), 1994. Paramodulation-Based...
- Applications, 1st Int. Conf., RTA-85. LNCS. Vol. 202. Springer. pp. 180–224.
Bachmair, L. and Dershowitz, N. and Hsiang, J. (Jun 1986). "Orderings for Equational...
