GCAI 2016. 2nd Global Conference on Artificial Intelligence

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
GCAI 2016. 2nd Global Conference on Artificial Intelligence
 
Publisher Herausgeber
EasyChair
 
Place of publishing Erscheinungsort
EPiC Series in Computing / 41 / Berlin
 

Publications Publikationen

Filter:
Subject:  theorem proving

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

PreviewAuthor(s)TitleTypeIssue Date
1Kotelnikov, Evgenii ; Kovacs, Laura ; Suda, Martin ; Voronkov, Andrei A Clausal Normal Form Translation for FOOLKonferenzbeitrag Inproceedings 2016