Advances in Artificial Intelligence and Its Applications

View Statistics Email Alert RSS Feed

Book details Buch-Details

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

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kovács, Laura ; Mantsivoda, Andrei ; Voronkov, Andrei The Inverse Method for Many-Valued LogicsKonferenzbeitrag Inproceedings2013
2Kovacs, Laura ; Sharygina, Natasha ; Rollini, Simone Fulvio A Parametric Interpolation Framework for First-Order TheoriesKonferenzbeitrag Inproceedings2013