Fachinformationsdienst BAUdigital

A platform for research: civil engineering, architecture and urbanism

    Some Controversies Around Formalization in Architecture

    New search for: Ruivo, Catarina
    New search for: Viana, David Leite
    New search for: Morais, Franklim
    New search for: Vaz, Jorge Vieira
    New search for: López-Chao, Vicente

    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

    Some Controversies Around Formalization in Architecture

    New search for: Ruivo, Catarina
    New search for: Viana, David Leite
    New search for: Morais, Franklim
    New search for: Vaz, Jorge Vieira
    New search for: López-Chao, Vicente

    Access

    Access via TIB
    Check availability in my library

    Some Controversies Around Formalization in Architecture

    New search for: Ruivo, Catarina
    New search for: Viana, David Leite
    New search for: Morais, Franklim
    New search for: Vaz, Jorge Vieira
    New search for: López-Chao, Vicente

    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:

    Some Controversies Around Formalization in Architecture

    Contributors:

    Mora, Plácido Lizancos (author) / Ruivo, Catarina (author) / Viana, David Leite (author) / Morais, Franklim (author) / Vaz, Jorge Vieira (author) / López-Chao, Vicente (author)

    Published in:

    Formal methods in architecture

    Publication date:

    2023

    Type of media:

    Conference paper

    Type of material:

    Print

    Language:

    English

    Keywords:

    Stadtplanung , Computerunterstütztes Verfahren , Architektur , Methodisches Konstruieren , Formale Methode , Building Information Modeling Architecture

    Classification:

    BKL:  50.15 Konstruktionslehre / 74.72 Stadtplanung, kommunale Planung / 56.03 Methoden im Bauingenieurwesen
    DDC:  720.1

    Similar titles

    Some Controversies Around Formalization in Architecture

    Mora, Plácido Lizancos / Ruivo, Catarina / Viana, David Leite et al. | Springer Verlag | 2023

    Trends in Language Formalization in Architecture

    Franklim Morais Pereira | DOAJ | 2014

    Free access

    Mapping Controversies in Architecture

    Mehta, V. | British Library Online Contents | 2014

    Mapping Controversies in Architecture

    Mehta, Vikas | Taylor & Francis Verlag | 2014

    Mapping controversies in architecture

    Yaneva, Albena | UB Braunschweig | 2012

    Back to top