%0 Conference Paper %F Oral %T Un assistant de preuve basé sur la technique des observateurs %+ Développement des Technologies Nouvelles (DTN) %A Dhaussy, Philippe %A Roger, Jean-Charles %< avec comité de lecture %B AFADL'06 %C Paris, France %8 2006 %D 2006 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G French %L hal-00517287 %U https://hal.science/hal-00517287 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN