Filtrera

Språk
  • (2)
  • (2)
Ämne
  • (1)
  • (2)
  • (1)
  • (2)
  • (1)
Format
  • (1)
  • (3)
Utgivningsår
  • (1)
  • (1)
  • (2)
Pris
  • (2)
Leveranstid
  • (1)

Laurent Thery - Böcker

Visar alla böcker av Laurent Thery. Handla med fri frakt och snabb leverans!

Sortering:

  1. Voyages en quęte de sens: de la Chine de Deng Xiaoping ā l'Ukraine de Zelenskyy

    av Laurent Thery

    Häftad, Franska, 2023-01-01
    251
    Köp
    Skickas inom 7-10 vardagar.
    Voyages en quęte de sens: de la Chine de Deng Xiaoping ā l'Ukraine de Zelenskyy

  2. Voyages en quete de sens

    av Laurent Thery

    Häftad, Franska, 2022-12-01
    245
    Köp
    Skickas inom 7-10 vardagar.
    Voyages en quete de sens

  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
    1147
    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 »