“Rippling: Meta-Level Guidance for Mathematical Reasoning,” by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland, Cambridge University Press, 2005

Author： Shah Nimish  

Publisher： Springer Publishing Company

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.35, Iss.4, 2005-11, pp. : 429-431

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Hollywood's Road to Riches, by David Waterman. Cambridge, MA: Harvard University Press, 2005. xvi + 393 pp. $29.95 cloth. ISBN 0674019458

By McElhinney Stephen  

The Information Society, Vol. 23, Iss. 5, 2007-10 ,pp. : 417-418

Routledge Ltd

Access to resources Recommend Favorite

Walter Daelemans and Antal van den Bosch, Memory-Based Language Processing: Cambridge University Press, Cambridge, UK, 2005, vii + 189 pp

By Stroppa Nicolas  

Machine Translation, Vol. 20, Iss. 2, 2006-06 ,pp. : 143-145

Springer Publishing Company

Access to resources Recommend Favorite

Charles Parsons: Mathematical Thought and its Objects: Cambridge University Press, Cambridge MA, 2008, xx+378, $50.00, ISBN 9780521452793 (hardback)

By Primiero Giuseppe  

Minds and Machines, Vol. 20, Iss. 2, 2010-07 ,pp. : 311-315

Springer Publishing Company

Access to resources Recommend Favorite

Multilabel classification with meta-level features in a learning-to-rank framework

By Yang Yiming   Gopal Siddharth  

Machine Learning, Vol. 88, Iss. 1-2, 2012-07 ,pp. : 47-68

Springer Publishing Company

Access to resources Recommend Favorite

Benjamin Schumacher and Michael Westmoreland: Quantum processes, systems, & information: Cambridge University Press, Cambridge, 2010

By Wiseman Howard  

Quantum Information Processing, Vol. 9, Iss. 6, 2010-12 ,pp. : 749-751

Springer Publishing Company

Access to resources Recommend Favorite