Empirically Successful Automated Reasoning: Systems Issue

By Fischer Bernd   Sutcliffe Geoff   Schulz Stephan  

Journal of Automated Reasoning, Vol. 36, Iss. 4, 2006-04 ,pp. : 287-287

Springer Publishing Company

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

Integration of Multiple Reasoning Systems for Process Control

By Gams M.   Karba N.   Drobnic M.  

Engineering Applications of Artificial Intelligence, Vol. 10, Iss. 1, 1997-02 ,pp. : 41-46

Elsevier

Access to resources Recommend Favorite

A Survey of User Interfaces for Computer Algebra Systems

By Kajler N.   Soiffer N.  

Journal of Symbolic Computation, Vol. 25, Iss. 2, 1998-02 ,pp. : 127-159

Academic Press

Access to resources Recommend Favorite

Using computer algebra systems in the development of scientific computer codes

By Dall'Osso A.  

Future Generation Computer Systems, Vol. 19, Iss. 2, 2003-02 ,pp. : 143-160

Elsevier

Access to resources Recommend Favorite