District de Dresde And NotAntoine Zimmermann
List of bibliographic references
Number of relevant bibliographic references: 4.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000434 | Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France] ; Sebastian Rudolph [Allemagne] | Workshop NotesInternational Workshop ``What can FCA do for Artificial Intelligence?'' (FCA4AI 2015) |
| 001756 | Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France] ; Sebastian Rudolph [Allemagne] | International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI 2013, Beijing, China, August 4 2013) |
| 003050 | Christel Baier [Allemagne] | On Model Checking Techniques for Randomized Distributed Systems |
| 006C05 | G. Tommaseo [Allemagne] ; M. Lescanne [Grèce] ; W. Steffen [Allemagne] ; G. Fytas [Allemagne, Grèce] ; M. Stamm [Allemagne] | Elastic excitations in polycarbonate membranes |
| This area was generated with Dilib version V0.6.33. |  |