Algorithmes et machines pour le calcul automatique de systèmes logiques.

Sparad:
Bibliografiska uppgifter
Huvudupphov: Mange, Daniel
Materialtyp: Bok
Språk:franska
Utgiven: Lausanne 1968
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
Order eBook:
Order Book: Login to order

MARC

LEADER 00000nam a2200000 c 4500
001 1168750
007 tu
041 |a fre 
100 1 |a Mange, Daniel 
245 1 0 |a Algorithmes et machines pour le calcul automatique de systèmes logiques. 
246 3 |a MANGE, Daniel: 
264 1 |a Lausanne  |c 1968 
300 |a 38 S.  |c 4° 
500 |a Dg 8.828 -- MANGE, Daniel: -- Algorithmes et machines pour le calcul automatique de systèmes logiques. - Lausanne -- 1968.38 S.4° -- Lausanne, techn.Diss.1968. -- 1972! -- B. 
852 |c Dg 8.828 
999 |a Dissertation 
591 |a description: Algorithmes et machines pour le calcul automatique de systemes lo.giqu.es. Lausanne1968.38 S.4 Lausanne,techn.Diss.L968.L972 B.  |a signature: Dz 8.828  |a author: MAE ÜE, Daniel  |a published: 1968