Human-Inspired Computing and its Applications 13th Mexican International Conference on Artificial Intelligence, MICAI2014, Tuxtla Gutiérrez, Mexico, November 16-22, 2014. Proceedings, Part I

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Human-Inspired Computing and its Applications 13th Mexican International Conference on Artificial Intelligence, MICAI2014, Tuxtla Gutiérrez, Mexico, November 16-22, 2014. Proceedings, Part I
 
DOI
10.1007/978-3-319-13647-9
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Biere, Armin ; Dragan, Ioan ; Kovács, Laura ; Voronkov, Andrei Experimenting with SAT Solvers in VampireKonferenzbeitrag Inproceedings2014