Advances in Artificial Intelligence and Its Applications
Book title Buchtitel
Advances in Artificial Intelligence and Its Applications
Editor Herausgeber_in
Publisher Herausgeber
Springer LNCS 8265
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kovacs, Laura ; Sharygina, Natasha ; Rollini, Simone Fulvio ; Castro, Felix ; Gelbukh, Alexander ; Gonzalez, Miguel | A Parametric Interpolation Framework for First-Order Theories | Konferenzbeitrag Inproceedings | 2013 | |
| 2 | Kovács, Laura ; Mantsivoda, Andrei ; Voronkov, Andrei ; Castro, Felix ; Gelbukh, Alexander ; Gonzalez, Miguel | The Inverse Method for Many-Valued Logics | Konferenzbeitrag Inproceedings | 2013 |