Your search returned 2 results. Subscribe to this search

|
1.  Monographies, textes Axiomatisations et types pour des processus probabilistes et mobiles / par Yuxin Deng ; sous la direction de Davide SangiorgiPublication : 2005Description : 1 vol. ( 168 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 153.272 CCL.TH.1133] (1). Copies available for reference: Bib. Paris[EMP 153.273 CCL.TH.1133] (1), Sophia Antipolis[EMS T-CMA-059] (1).
2. Congrès LOGIQUE MODERNE. 2,LOGIQUE DES PROPOSITIONS ET DES PREDICATS.TABLES DE VERITE ET AXIOMATISATION. / {J. Grize}Publication : PARIS : GAUTHIER-VILLARS, 1971Description : 01 VOL.,79 P. : PR 1 ; 23 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CC0584] (1).

Powered by Koha