GEOM : a prolog geometry theorem prover: Fid-Bau Portal

GEOM : a prolog geometry theorem prover

Coelho, Helder / Pereira, Luís Moniz

Zugriff

Zugriff über TIB

Verfügbarkeit in meiner Bibliothek prüfen

Seitennavigation

Dokumentinformationen

Ähnliche Titel

Exportieren, teilen und zitieren

GEOM : a prolog geometry theorem prover

Coelho, Helder / Pereira, Luís Moniz

GEOM : a prolog geometry theorem prover

Coelho, Helder / Pereira, Luís Moniz

Zugriff

Zugriff über TIB

Verfügbarkeit in meiner Bibliothek prüfen

Seitennavigation

Dokumentinformationen

Ähnliche Titel

Exportieren, teilen und zitieren

Dokumentinformationen

Titel:

GEOM : a prolog geometry theorem prover

Beteiligte:

Coelho, Helder (Autor:in) / Pereira, Luís Moniz (Autor:in)

Erschienen 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

Erscheinungsdatum:

1979

Format / Umfang:

70 S

Anmerkungen:

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

Medientyp:

Buch

Format:

Sprache:

Englisch

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

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

Steiger, Marcel | Online Contents | 2013

PROLOG << BEDEUTUNG DES WASSERMANAGEMENTS STEIGT >>

Schädler, Bruno | Online Contents | 2013

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

Nach oben