Empirically Successful Automated Reasoning: Applications Issue

By Fischer Bernd   Sutcliffe Geoff   Schulz Stephan  

Journal of Automated Reasoning, Vol. 37, Iss. 1-2, 2006-08 ,pp. : 1-1

Springer Publishing Company

Access to resources Recommend Favorite

Editorial: The Integration of Automated Reasoning and Computer Algebra Systems

By Linton S.   Sebastiani R.  

Journal of Symbolic Computation, Vol. 34, Iss. 4, 2002-10 ,pp. : 239-239

Academic Press

Access to resources Recommend Favorite

Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”

By Bauer Lujo   Etalle Sandro   den Hartog Jerry   Viganò Luca  

Journal of Automated Reasoning, Vol. 46, Iss. 3-4, 2011-04 ,pp. : 223-224

Springer Publishing Company

Access to resources Recommend Favorite

Special Issue on Model Based Reasoning in Engineering and Robotic Systems

By Liu Honghai   Tzafestas Spyros  

Journal of Intelligent and Robotic Systems, Vol. 48, Iss. 1, 2007-01 ,pp. : 5-6

Springer Publishing Company

Access to resources Recommend Favorite

Hypothetical reasoning approach for Automated Guided Vehicle action decision in Autonomous Decentralised Flexible Manufacturing Systems

By Ramli Rizauddin   Yamamoto Hidehiko   Qudeiri Jaber Abu  

International Journal of Intelligent Systems Technologies and Applications, Vol. 7, Iss. 2, 2009-05 ,pp. : 171-187

Inderscience Publishers

Access to resources Recommend Favorite