I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Portfolio theorem proving and prover runtime prediction for..:

Nikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán.
Annals of Mathematics and Artificial Intelligence.  85 (2018)  2-4 - p. 119-146 , 2018
Link: https://doi.org/10.1007/s10472-018-9598-6