Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings
 
Editor Herausgeber_in
 
Publisher Herausgeber
LNCS
 
Place of publishing Erscheinungsort
9150
 
DOI
10.1007/978-3-319-20615-8
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kotelnikov, Evgenii ; Kovacs, Laura ; Voronkov, Andrei A First Class Boolean Sort in First-Order Theorem Proving and TPTPKonferenzbeitrag Inproceedings2015