Landolt-Bvrnstein: Numerical Data And Functional Relationships In Science And Technology - New Series Volume A/B Units And Fundamental Co

By ʹ · Ł · £ ʹ £ · ʹ · ʼ ʹ ., W. R. Blevin, L. Bliek, W.R., H-------., Bachmair, H. Bachmair, H. Ahlers, H. Landolt, J. Bortfeldt And B. Kramer, Blevin, Bliek

v. : 28 cm At head of title: Landolt-Börnstein Title on added t.p.: Einheiten und Fundamentalkonstanten in Physik und Chemie Supplements: Zahlenwerte und Funktionen aus Naturwissenschaften und Te...

Canonical Equational Proofs

By Leo Bachmair, Bachmair, Leo Bachmair (Auth.)

Equations occur in many computer applications, such as symbolic compu℗Ư tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated the...

Beraten Will Gelernt Sein.

By Wolfgang., Jan, Sabine, Jan Faber, CLAUDIUS, Claudius Hennig, Rudiger, Faber, Bachmair, KOLB, Sabine Bachmair, Wolfgang Willig, Hennig, WILLIG, Rüdiger Kolb

Fundamental Constants In Physics And Chemistry

By ʹ · Ł · £ ʹ £ · ʹ · ʼ ʹ ., W. R. Blevin, L. Bliek, W.R., H-------., T. W. Hänsch, W. F Koch, E. BRAUN, Bachmair, H. Bachmair, J. Bortfeldt, H. Ahlers, B. Kramer, J. Bortfeldt And B. Kramer, Blevin, Bliek, E. R. Cohen

v. : 28 cm At head of title: Landolt-Börnstein Title on added t.p.: Einheiten und Fundamentalkonstanten in Physik und Chemie Supplements: Zahlenwerte und Funktionen aus Naturwissenschaften und Te...

Canonical Equational Proofs

By Leo., Leo Bachmair, Bachmair, Leo Bachmair (Auth.)

Equations occur in many computer applications, such as symbolic compu℗Ư tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated the...

Canonical Equational Proofs

By Leo Bachmair, Bachmair, Leo Bachmair (Auth.)

Equations occur in many computer applications, such as symbolic compu℗Ư tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated the...

Canonical Equational Proofs (Progress In Theoretical Computer Science)

By Bachmair, Leo Bachmair (Auth.)

Equations occur in many computer applications, such as symbolic compu℗Ư tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated the...