Concepts mathematiques et informatiques formalises dans le calcul des constructions

Authors
Publication date
1 December 1985
Publisher
HAL CCSD

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    INRIA a CCSD electronic archive server

    redirect
    oaioai:HAL:inria-00076039v1
    Last time updated on 10/11/2016

    Hal-Diderot

    redirect
    oaioai:HAL:inria-00076091v1
    Last time updated on 15/04/2021

    INRIA a CCSD electronic archive server

    redirect
    oaioai:HAL:inria-00076091v1
    Last time updated on 10/11/2016