Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution

By Gwynne Matthew   Kullmann Oliver  

Journal of Automated Reasoning, Vol. 52, Iss. 1, 2014-01 ,pp. : 31-65

Springer Publishing Company

Access to resources Recommend Favorite

Bell's theorem from Moore's theorem

By Fields Chris  

International Journal of General Systems, Vol. 42, Iss. 4, 2013-05 ,pp. : 376-385

Taylor & Francis Ltd

Access to resources Recommend Favorite

Generalising and Symbolising Ordnance Survey^® Base Scale Data to Create a Prototype 1:50 000 Scale Vector Map

By Revell Patrick   Regnauld Nicolas   Thom Stuart  

The Cartographic Journal, Vol. 44, Iss. 3, 2007-08 ,pp. : 251-257

Maney Publishing

Access to resources Recommend Favorite

Generalising user behaviour in online travel sites through the Travel 2.0 website acceptance model

By Muñoz-Leiva Francisco   Hernández-Méndez Janet   Sánchez-Fernández Juan  

Online Information Review, Vol. 36, Iss. 6, 2012-11 ,pp. : 879-902

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

On a theorem due to Crouzeix and Ferland

By Ivanov Vsevolod  

Journal of Global Optimization, Vol. 46, Iss. 1, 2010-01 ,pp. : 31-47

Springer Publishing Company

Access to resources Recommend Favorite