Treffer 1 - 20 von 29 für Suche 'Gallier, Jean H. 1949-', Suchdauer: 0,25s Treffer weiter einschränken
  1. 1
  2. 2
  3. 3
  4. 4

    Logic for computer science foundations of automatic theorem proving von Gallier, Jean H. 1949-

    Veröffentlicht 2017
    Buch
  5. 5
  6. 6

    Geometric methods and applications for computer science and engineering von Gallier, Jean H. 1949-

    Veröffentlicht 2001
    Buch
  7. 7

    Constructive logic von Gallier, Jean H. 1949-

    Veröffentlicht 1991
    Buch
  8. 8

    Logic for computer science foundations of automatic theorem proving von Gallier, Jean H. 1949-

    Veröffentlicht 1987
    Buch
  9. 9
  10. 10

    Geometric methods and applications for computer science and engineering von Gallier, Jean H. 1949-

    Veröffentlicht 2011
    Buch
  11. 11
  12. 12
  13. 13

    Constructive logic von Gallier, Jean H. 1949-

    Veröffentlicht 1991
    Buch
  14. 14

    Logic for computer science foundations of automatic theorem proving von Gallier, Jean H. 1949-

    Veröffentlicht 1987
    Buch
  15. 15

    Logic for computer science foundations of automat. theorem proving von Gallier, Jean H. 1949-

    Veröffentlicht 1987
    Buch
  16. 16
  17. 17
  18. 18

    Differential geometry and lie groups a second course von Gallier, Jean H. 1949-, Quaintance, Jocelyn

    Veröffentlicht 2020
    Buch
  19. 19
  20. 20