Logique et informatique, une introduction

Logique et informatique, une introduction

Saved in:
Bibliographic Details
Corporate Author : Ecole de printemps d'informatique théorique 17 1989 Albi
Other Authors : Courcelle Bruno (Directeur de publication), Nivat Maurice (Préfacier)
Format : Book
Language : anglais
français
Title statement : Logique et informatique, une introduction / [17e École de printemps d'informatique théorique, Albi, 1989]; contributions de Serge Grigorieff, Yves Lafont, Thierry Coquand... [et al.]; réunies et présentées par Bruno Courcelle; avant-propos de Maurice Nivat
Published : Rocquencourt : Institut national de recherche en informatique et en automatique , 1991
Physical Description : 257 p.
Series : Collection didactique (Le Chesnay). ; 8
Subjects :
Logique symbolique et mathématique > Congrès
Informatique > Congrès

BU Lettres

Holdings details from BU Lettres
Location Call Number Loan type Status
Document à demander aux points d'accueil S 6797 Empruntable Available