Notice de personne
- Notice
000 cx a22 45
001 FRBNF144049719
005 20020425
010 .. $a 0000000033021714 $2 VIAF $d 20130801
100 .. $a 20020425afrey50 ba0
101 .. $a dut
102 .. $a BE
105 .. $a a
106 .. $a 1
120 .. $a b
152 .. $c 2
200 .| $7 ba0yba0y $8 fre $9 0 $a Claesen $b Luc J. M.
300 0. $a Enseignant. - En poste : Interuniversity Micro Electronics Center (IMEC) and Katholieke
Universiteit Leuven, Louvain, Belgique (en 1993)
400 .| $7 ba0yba0y $8 fre $9 $a Claesen $b Luc
801 .. $a FR $b FR-751131015 $c 20020425
810 .. $a Higher order logic theorem proving and its applications... / ed. by Luc J.M. Claesen,
Michael J.C. Gordon
