Étude du langage GUARDED HORN CLAUSES dans le cadre d'applications robotiques

  • Anne Dardenne

Student thesis: Master typesMaster in Computer science

Abstract

Date of Award1986
Original languageFrench
Awarding Institution
  • University of Namur
SupervisorA Van Lamsweerde (Supervisor)

Cite this

Étude du langage GUARDED HORN CLAUSES dans le cadre d'applications robotiques
Dardenne, A. (Author). 1986

Student thesis: Master typesMaster in Computer science