Notice bibliographique

Notice

000 nam 22 3 450

001 FRBNF44692975000000X

003 http://catalogue.bnf.fr/ark:/12148/cb44692975s

010 .. $a 9783540486992

035 .. $a OCoLC801002729

100 .. $a 20170801d1994 m y0frey50 ba

101 0. $a eng

102 .. $a DE

105 .. $a ||||z 00|||

106 .. $a s $a r

135 .. $a dru||||||||||

181 .0 $6 01 $a i $b xxxe

181 .. $6 02 $c txt $2 rdacontent

182 .0 $6 01 $a b

182 .. $6 02 $c c $2 rdamedia

200 1. $a Constraints in Computational Logics $b Texte électronique $e First International Conference, CCL '94 Munich, Germany, September 7-9, 1994 Proceedings $f edited by Jean-Pierre Jouannaud

210 .. $a Berlin, Heidelberg $c Springer-Verlag $c Springer e-books $d 1994

215 .. $a 1 online resource

225 1. $a Lecture Notes in Computer Science $v 845

300 .. $a L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

606 .. $3 11932109 $a Informatique $2 rameau

606 .. $3 11932648 $a Programmation (informatique) $2 rameau

606 .. $3 11932084 $a Intelligence artificielle $2 rameau

606 .. $3 11965690 $a Logique mathématique $2 rameau

676 .. $a 005.131 $v 23

700 .| $3 12483414 $o ISNI0000000114711960 $a Jouannaud $b Jean-Pierre $f 1947-.... $4 070

801 .3 $a US $b OCoLC $c 20170801 $h 801002729 $2 marc21

801 .0 $b ZWZ $g ncafnor

930 .. $5 FR-759999999:44692975001001 $a ACQNUM-74741 $b 759999999 $c Document numérisé $d N