Fachinformationsdienst BAUdigital

A platform for research: civil engineering, architecture and urbanism

    GEOM : a prolog geometry theorem prover

    New search for: Coelho, Helder
    New search for: Pereira, Luís Moniz

    Access

    Access via TIB
    Check availability in my library

    Access

    Access via TIB
    Check availability in my library

    Page navigation

    Document information
    Similar titles

    Export, share and cite

    GEOM : a prolog geometry theorem prover

    New search for: Coelho, Helder
    New search for: Pereira, Luís Moniz

    Access

    Access via TIB
    Check availability in my library

    GEOM : a prolog geometry theorem prover

    New search for: Coelho, Helder
    New search for: Pereira, Luís Moniz

    Access

    Access via TIB
    Check availability in my library

    Access

    Access via TIB
    Check availability in my library

    Page navigation

    Document information
    Similar titles

    Export, share and cite

    Document information
    Title:

    GEOM : a prolog geometry theorem prover

    Contributors:

    Coelho, Helder (author) / Pereira, Luís Moniz (author)

    Published in:

    Memória / Laboratório Nacional de Engenharia Civil ; 525

    Memória / Laboratório Nacional de Engenharia Civil, Ministério da Habitação e Obras Publicas ; 525

    Publication date:

    1979

    Size:

    70 S

    Remarks:

    2 Beil
    graph. Darst
    Text engl. mit portug. Zsfassung

    Type of media:

    Book

    Type of material:

    Print

    Language:

    English

    Similar titles

    Performance and cost analysis of a Geom/G/1 (G, SV) system

    Ma, Zhanyou / Yue, Wuyi / Tian, Naishuo | Springer Verlag | 2008

    Performance and cost analysis of a Geom/G/1 (G, SV) system

    Ma, Z. / Yue, W. / Tian, N. | British Library Conference Proceedings | 2009

    Performance and cost analysis of a Geom/G/1 (G, SV) system

    Ma, Zhanyou / Yue, Wuyi / Tian, Naishuo | Online Contents | 2008

    PROLOG << WASSERMANAGEMENT FÜR DIE SCHWEIZ UND DIE WELT >>

    Steiger, Marcel | Online Contents | 2013

    PROLOG << UMDENKEN GEFORDERT! >>

    Würsten, Martin | Online Contents | 2013

    Back to top