Your search returned 3 results. Subscribe to this search

|
1. Congrès COMPILATION DE PROGRAMMES TYPOL PAR ATTRIBUTS SEMANTIQUES. / {I. Attali}Publication :ROCQUENCOURT : INRIA, 1989Description : 01 VOL.,220 P. : 124 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6644] (1).
2. Congrès NATURAL SEMANTICS ON THE COMPUTER. / {D. Clement, T. Despeyroux, J. Despeyroux}Publication :ROCQUENCOURT : INRIA, 1985Description : 01 VOL.,41 P. : 13 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2939] (1).
3. Congrès THEO / {J. Despeyroux} : AN INTERACTIVE PROOF DEVELOPMENT SYSTEM.Publication :ROCQUENCOURT : INRIA, 1988Description : 01 VOL.,12 P. : 22 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6171] (1).

Powered by Koha