by Steele, Brian, Chandler, John, Reddy, Swarna
Year of Publication 2016

by Pfahringer, Bernhard, Holmes, Geoffrey, Kirkby, Richard
Published in AI 2007: Advances in Artificial Intelligence (2007)

by Beebe, Nelson H. F
Published in The Mathematical-Function Computation Handbook (2017)

by Beebe, Nelson H. F
Published in The Mathematical-Function Computation Handbook (2017)

by Amaldi, Edoardo, Coniglio, Stefano, Taccari, Leonardo
Published in Combinatorial Optimization (2014)

by Prakash Panangaden
Published in Labelled Markov Processes (2009)

by Baader, Franz
Year of Publication 2003

by Shore, Richard A.
Published in Effective Mathematics of the Uncountable (31.10.2013)

Published in Advances in Proof-Theoretic Semantics (2015)

by Hubauer, Thomas
Published in Relaxed Abduction (2016)

by Goel, Shilpi, Hunt, Warren A., Kaufmann, Matt
Published in Provably Correct Systems (2017)

by Orseau, Laurent, Ring, Mark
Published in Artificial General Intelligence (2012)

by Ognjanović, Zoran, Rasković, Miodrag, Marković, Zoran
Published in Probability Logics (2016)

by Neri, Ferrante
Published in Linear Algebra for Computational Sciences and Engineering (2016)

by Neri, Ferrante
Published in Linear Algebra for Computational Sciences and Engineering (2016)

by Sadowská, Marie, Dostál, Zdeněk, Vondrák, Vít, Kozubek, Tomás
Published in Scalable Algorithms for Contact Problems (2017)

by Costello, Fintan
Published in Artificial General Intelligence (2012)

by Vince, John
Published in Foundation Mathematics for Computer Science (2015)

by Vince, John
Published in Foundation Mathematics for Computer Science (2015)

by Bagdasar, Ovidiu
Published in Concise Computer Mathematics (2013)