Entrar

    Automated Theorem Proving

    Wolfgang Bibel

    Vieweg+Teubner Verlag
    1982
    312 páginas
    10h 24m
    ISBN-13: 9783528085209
    0
    0 avaliação
    Leram0Lendo0Querem0Relendo0Abandonos0Resenhas0

    Estatísticas

    Avaliações

    0 / 0
    • 5 estrelas0%
    • 4 estrelas0%
    • 3 estrelas0%
    • 2 estrelas0%
    • 1 estrelas0%