Did you mean: automata

search result

Cover von Automated Enactment Tracking for Dynamic Workflows
Author: Sauer, Thomas Search for this author
Year: 2010
Publisher: München, Verlag Dr. Hut
Media group: DISSERTATION
Cover von International Conference on Automated Planning and Scheduling
Search for this author
Year: 2003 and following
Publisher: Menlo Park, AAAI Press
Media group: KONGRESSBERICHT
Cover von Handbook of Practical Logic and Automated Reasoning
Author: Harrison, John Search for this author
Year: 2009
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
Cover von Automated Theory Formation in Pure Mathematics
Author: Colton, Simon Search for this author
Year: 2002
Publisher: London, Springer
Series: Distinguished dissertations
Media group: DISSERTATION
Cover von Computer automated multi-paradigm modeling

Computer automated multi-paradigm modeling

an introduction : article
Year: 2004
Media group: ARTICLE
Cover von Automated Multi-Camera Surveillance
algorithms and practice
Author: Javed, Omar; Shah, Mubarak Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: The international series in video computing; 10
Media group: MONOGRAPHIE
Cover von Integration technologies for industrial automated systems
Search for this author
Year: 2007
Publisher: Los Alamitos, IEEE
Series: Industrial information technology series; 3
Media group: MONOGRAPHIE
Cover von Simplification and reduction for automated theorem proving
Author: Socher-Ambrosius, Rolf Search for this author
Year: 1990
Publisher: Kaiserslautern, Universität
Series: SEKI Report; 90-10
Media group: DISSERTATION
Cover von Automated reasoning and theorem proving in education; 3
special issue : S. 185 - 286
Search for this author
Year: 2004
Publisher: Boston, Kluwer
Count: 3
Media group: SPECIAL ISSUE
Cover von Automated reasoning and theorem proving in education; 1
special issue : S. 1 - 92
Search for this author
Year: 2004
Publisher: Boston, Kluwer
Count: 1
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0