Algorithms et machines pour le calcul automatique de systèmes logiques
By: Daniel Mange
Contributors: Université de Lausanne
Published: 1968
Language: fre
Number of pages: 38
Notes: Thesis (doctoral)--Université de Lausanne, 1968.