Did you mean: automata

search result

Cover von Resolution proof systems
an algebraic theory
Author: Stachniak, Zbigniew Search for this author
Year: 1996
Publisher: Dordrecht, Kluwer
Series: Automated reasoning series; 4
Media group: MONOGRAPHIE
Cover von Recent trends in mobile robots
Search for this author
Year: 1993
Publisher: Singapore, World Scientific
Series: World Scientific series in robotics and automated systems; 11
Media group: MONOGRAPHIE
Cover von Intelligent robotic planning systems
Author: Sheu, Philipp C.-Y.; Xue, Qing Search for this author
Year: 1993
Publisher: Singapore, World Scientific
Series: World Scientific series in robotics and automated systems; 3
Media group: MONOGRAPHIE
Cover von Parallel computation systems for robotics
algorithms and architectures
Search for this author
Year: 1992
Publisher: Singapore, World Scientific
Series: World Scientific series in robotics and automated systems; 2
Media group: MONOGRAPHIE
Cover von Intelligent control
aspects of fuzzy logic and neural nets
Author: Harris, Chris J.; Moore, Chris G.; Brown, Martin Search for this author
Year: 1993
Publisher: Singapore, World Scientific
Series: World Scientific series in robotics and automated systems; 6
Media group: MONOGRAPHIE
Cover von Genetic algorithms and robotics
a heuristic strategy for optimization
Author: Davidor, Yuval Search for this author
Year: 1991
Publisher: Singapore, World Scientific
Series: World Scientific series in robotics and automated systems; 1
Media group: MONOGRAPHIE
Cover von Evolutionary robotics
from algorithms to implementations
Author: Wang, Lingfeng; Tan, Kay Chen; Chew, Chee Meng Search for this author
Year: 2006
Publisher: Singapore, World Scientific
Series: World Scientific series in robotics and automated systems; 28
Media group: MONOGRAPHIE
Cover von Formal proof
special issue
Search for this author
Year: 1999
Publisher: Dordrecht, Kluwer
Series: Journal of automated reasoning : 23. 1999, 3/4
Media group: SPECIAL ISSUE
Cover von Logics for artificial intelligence
Search for this author
Year: 1998
Publisher: Dordrecht, Kluwer
Series: Journal of automated reasoning : 20. 1998, 1/2
Media group: SPECIAL ISSUE
Cover von Reverse engineering
Search for this author
Year: 1996
Publisher: Dordrecht, Kluwer
Series: Automated software engineering : 3. 1996, 1/2
Media group: MONOGRAPHIE
OPEN V 11.1.0.0