Les architectes de HOLODECK s'occupent d'un large éventail de tâches architecturales - de l'urbanisme à la conception d'expositions. Leurs travaux démontrent...
Décidabilité des théories logiques et de leur combinaison - Decidability of Logical Theories and...