Artboard 33 Artboard 16 Artboard 18 Artboard 15 Artboard 21 Artboard 1 Artboard 2 Artboard 5 Artboard 45 Artboard 45 Artboard 22 Artboard 9 Artboard 23 Artboard 17? Artboard 28 Artboard 43 Artboard 49 Artboard 47 Artboard 38 Artboard 32 Artboard 8 Artboard 22 Artboard 5 Artboard 25 Artboard 1 Artboard 42 Artboard 11 Artboard 41 Artboard 13 Artboard 23 Artboard 10 Artboard 4 Artboard 9 Artboard 20 Artboard 6 Artboard 11 Artboard 7 Artboard 3 Artboard 3 Artboard 12 Artboard 25 Artboard 34 Artboard 39 Artboard 24 Artboard 13 Artboard 19 Artboard 7 Artboard 24 Artboard 31 Artboard 4 Artboard 14 Artboard 27 Artboard 30 Artboard 36 Artboard 44 Artboard 12 Artboard 17 Artboard 17 Artboard 6 Artboard 27 Artboard 19 Artboard 30 Artboard 29 Artboard 29 Artboard 26 Artboard 18 Artboard 2 Artboard 20 Artboard 35 Artboard 15 Artboard 14 Artboard 48 Artboard 50 Artboard 26 Artboard 16 Artboard 40 Artboard 21 Artboard 29 Artboard 10 Artboard 37 Artboard 3 Artboard 3 Artboard 46 Artboard 8

Resultados para: type-theory

6 produtos
  • e-book

    Type Theory and Formal Proof - An...

    Herman Geuvers; Rob Nederpelt
    (9603590)

    Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical...

  • e-book

    The Theory and Practice of Breeding to Type...

    C. Davies
    (9563934)

    The Theory And Practice Of Breeding To Type - ITS APPLICATION TO THE BREEDING OF DOGS, FARM ANIMALS, CAGE BIRDS AND OTHER SMALL PETS. By C.J. Davies. A VINTAGE DOG BOOKS CLASSIC REPRINT. Originally published in 1928, this scarce early work on...

  • e-book

    Introduction To Type-2 Fuzzy Logic Control -...

    Jerry Mendel; William W. Melek; Hani Hagras; Woei-Wan Tan; Hao Ying
    (9447014)

    An introductory book that provides theoretical, practical, and application coverage of the emerging field of type-2 fuzzy logic control Until recently, little was known about type-2 fuzzy controllers due to the lack of basic calculation methods...

  • e-book

    Introduction To Type-2 Fuzzy Logic Control -...

    Jerry Mendel; William W. Melek; Hani Hagras; Woei-Wan Tan; Hao Ying
    (9447116)

    An introductory book that provides theoretical, practical, and application coverage of the emerging field of type-2 fuzzy logic control Until recently, little was known about type-2 fuzzy controllers due to the lack of basic calculation methods...

  • e-book

    Categorical Logic and Type Theory

    Jacobs,B.
    (2891475)

    This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and...

  • Reasoning In Simple Type Theory

    Christoph Benzmueller; Chad E Brown; Joerg Siekmann
    (6328741)

    Reasoning in Simple Type Theory is a collection of papers thatincludes reprints of eight seminal papers in this area as well asthirteen new contributed articles. For the reprints we have chosen apaper by Alonzo Church (introducing his simple theory...

    Produto indisponível

Busca por