Files
Details
Title
Algorithmes et machines pour le calcul automatique de systèmes logiques
Author(s)
Mange, Daniel
Advisor(s)
Pagination
47
Date
1968
Publisher
Lausanne, s.n.
Language
French
Record Appears in
Scientific production and competences > EPFL Theses
Work produced at EPFL
Published
Theses
Work produced at EPFL
Published
Theses
Record creation date
2005-03-16