Did you mean: automata

search result

Cover von Towards Automated Generation of Time-Predictable Code

Towards Automated Generation of Time-Predictable Code

Year: 2014
Media group: OASICS
Cover von Automated Verification of Quantitative Properties of Cardiac Pacemaker Software

Automated Verification of Quantitative Properties of Cardiac Pacemaker Software

Year: 2014
Media group: OASICS
Cover von New Trends in Agent-Based Complex Automated Negotiations
Search for this author
Year: 2012
Publisher: Heidelberg, Springer
Series: Studies in computational intelligence; 383
Media group: MONOGRAPHIE
Cover von Novel Insights in Agent-based Complex Automated Negotiation
Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Series: Studies in computational intelligence; 535
Media group: MONOGRAPHIE
Cover von A Concise Introduction to Models and Methods for Automated Planning
Author: Geffner, Hector; Bonet, Blai Search for this author
Year: 2013
Publisher: San Rafael, Morgan & Claypool Publishers
Series: Synthesis lectures on artificial intelligence and machine learning; 22
Media group: MONOGRAPHIE
Cover von Automated Reasoning and Natural Proofs for Programs Manipulating Data Structures

Automated Reasoning and Natural Proofs for Programs Manipulating Data Structures

Year: 2012
Media group: ARTICLE
Cover von An Implementation Model of a Declarative Framework for Automated Negotiation

An Implementation Model of a Declarative Framework for Automated Negotiation

article
Author: Surcel, Laura
Year: 2012
Media group: ARTICLE
Cover von Non-Standard Logics for Automated Reasoning
Search for this author
Year: 1988
Publisher: Boston, Academic Press
Media group: MONOGRAPHIE
Cover von Automated Certified Proofs with CiME3

Automated Certified Proofs with CiME3

Year: 2011
Media group: ARTICLE
Cover von A Code Policy Guaranteeing Fully Automated Path Analysis

A Code Policy Guaranteeing Fully Automated Path Analysis

Year: 2010
Media group: ARTICLE
OPEN V 11.1.0.0