- 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"...
- JSTOR 41190615. Buckingham,
David (2010), "Defining
Digital Literacy", in
Bachmair, Ben (ed.),
Medienbildung in
neuen Kulturräumen (in German), VS Verlag...
- 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...
- 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...
- Bücherkiste:
Monatsschrift für Literatur,
Graphik und Buchbesprechung. Munich:
Bachmair 1919-1921 (Reprinted: Nendeln/Liechtenstein:
Kraus 1977)
Verworrene Städte...
- 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...
- LICS
proceedings 20
years earlier,
which have
become influential. Leo
Bachmair,
Nachum Dershowitz, Jieh Hsiang, "Orderings for
Equational Proofs" E. Allen...
- Duke of
Richmond Hotel 1 1 1 1 4 75% 1974 9 July FIFA Rottach-Egern
Hotel Bachmair 1 1 1 1 4 75%
Meeting held two days
after the
final of the 1974
World Cup...
- 329–340.{{cite book}}: CS1 maint:
multiple names:
authors list (link)
Bachmair, Leo, Ganzinger, Harald, Waldmann, Uwe (1992). Set
Constraints are the...