Filtrera

Ämne
  • (2)
  • (1)
  • (4)
Format
  • (2)
  • (2)
Leveranstid
  • (2)

Andre Hirschowitz - Böcker

Visar alla böcker av Andre Hirschowitz. Handla med fri frakt och snabb leverans!

Sortering:

  1. Vector Bundles and Differential Equations

    av Andre Hirschowitz

    Häftad, Engelska, 1980-01-01
    699
    Köp
    Skickas inom 7-10 vardagar.
    Vector Bundles and Differential Equations

    Counting Singularities of Quadratic Forms on Vector Bundles.- Groupe de Jauge ¿argi et Connexions Stables.- Les Fibres Uniformes de Rang au Plus n sur ?n(?) Sont Ceux Qu¿on Croit.- Type de Scindage G¿ralis¿our les Fibr¿Stables.- On the Classificat...

    Läs mer »

  2. Vector Bundles and Differential Equations E-bok

    av Andre Hirschowitz

    E-bok, Engelska, 2012-12-06
    1223
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Vector Bundles and Differential Equations

  3. Theorem Proving in Higher Order Logics E-bok

    av Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery

    E-bok, Engelska, 2003-07-31
    1107
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Theorem Proving in Higher Order Logics

  4. Theorem Proving in Higher Order Logics

    av Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery

    Häftad, Engelska, 1999-09-01
    720
    Köp
    Skickas inom 7-10 vardagar.
    Theorem Proving in Higher Order Logics

    This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs'99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted as compl...

    Läs mer »