Normal view MARC view ISBD view

Homotopic deductions in unification logic = Déductions homotopes dans la logique de l'unification / Philippe Le Chenadec

Auteur principal : Le Chenadec, PhilippePublication :Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, [1991]Description : 64 p. : ill. ; 30 cmDewey: 004Bibliographie: Includes bibliographical references..Sujet - Nom d'actualité : Lambda-calcul ;Equations de fonctions ;Sémantique ;Graphes, Théorie des Sujet : Logique combinatoire ;Logique mathématique Sujet Catégorie : MATHEMATIQUES
Current location Call number Status Date due Barcode
Bib. Paris
EMP C 113 (1384) Available

Supported in part by CEC

Includes bibliographical references.

Powered by Koha