Documents liés : [3 document(s)]

Documents (Mots clés)

• [MathPrépublication] Nouvelle structure de mémoires adressables par une fenêtre à déplacement continu / Lehmann, Jean-Philippe ; Isoardi, Patrick. -Strasbourg : Université Louis Pasteur;Institut de recherche mathématique avancée, 1985. - 9 p. ; 29 cm
  
• [MathOuvrage] Computer logic, testing and verification / Roth, J. Paul. -London : Pitman, 1980. - xx-176
  
• [MathOuvrage] Some combinatorial and algorithmic problems in many-valued logics / Stojmenovic, Ivan. -Novi Sad, University of Novi Sad : Institute of Mathematics, 1987. - 150