Advances in Artificial Intelligence and Its Applications

Book title Buchtitel
Advances in Artificial Intelligence and Its Applications
 
 
Publisher Herausgeber
Springer LNCS 8265
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

Results 1-2 of 2 (Search time: 0.002 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