Bokus

Taylor T. Johnson – författare

Visar alla böcker från författaren Taylor T. Johnson. Handla med fri frakt och snabb leverans.

2 produkter

  1. Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling - AI Verification, Häftad. Tillgänglighet: Lägg i varukorg

    AI Verification

    First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings

    Av Guy Avni, Mirco Giacobbe m. fl.

    Häftad, 2024

    1461 kr

    Lägg i varukorg

    This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal …

  2. Christian Schilling, Nina Narodytska, Anna Lukina, Guy Katz, Taylor T. Johnson, Mirco Giacobbe, Guy Avni - AI Verification, E-bok. Tillgänglighet: Lägg i varukorg

    AI Verification

    First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings

    Av Christian Schilling, Nina Narodytska m. fl.

    E-bok, 2024

    1838 kr

    Lägg i varukorg

    This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024. The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal …