Studiebog
    Symbolic Logic and Mechanical Theorem Proving

    Symbolic Logic and Mechanical Theorem Proving

    Af
    Bog E-bog
    • Format
    • Bog, hardback
    • Engelsk

    Beskrivelse

    This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

    Læs hele beskrivelsen
    Detaljer
    • SprogEngelsk
    • Sidetal331
    • Udgivelsesdato15-06-1973
    • ISBN139780121703509
    • Forlag Academic Press Inc
    • FormatHardback
    Størrelse og vægt
  • Vægt640 g
    • coffee cup img
    10 cm
    book img
    15,2 cm
    22,9 cm

    Findes i disse kategorier...

    Se andre, der handler om...

    Logic, Symbolic and mathematical First-order logic Automatic theorem proving Artificial intelligence Propositional logic equality relation semantic resolution

    Velkommen til Saxo – din danske boghandel

    Hos os kan du handle som gæst, Saxo-bruger eller Saxo-medlem – du bestemmer selv. Skulle du få brug for hjælp, sidder vores kundeservice-team klar ved både telefonerne og tasterne.

    Om medlemspriser hos Saxo

    For at købe bøger til medlemspris skal du være medlem af Saxo Premium, Saxo Shopping eller Saxo Ung. De første 7 dage er gratis for nye medlemmer. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om fordelene ved vores forskellige medlemskaber her.

    Machine Name: SAXO082