Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof
- Georg Hofferek (Redner/in)
Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science