Name Card

Full name Familienname, Vorname
Gelbukh, Alexander
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kovacs, Laura ; Sharygina, Natasha ; Rollini, Simone Fulvio A Parametric Interpolation Framework for First-Order TheoriesKonferenzbeitrag Inproceedings2013
2Kovács, Laura ; Mantsivoda, Andrei ; Voronkov, Andrei The Inverse Method for Many-Valued LogicsKonferenzbeitrag Inproceedings2013
3Elmenreich, Wilfried ; Klingler, Gernot Genetic Evolution of a Neural Network for the Autonomous control of a Four-Wheeled RobotKonferenzbeitrag Inproceedings 2007