Did you mean: automata

search result

Cover von Deduction
automated logic
Author: Bibel, Wolfgang Search for this author
Year: 1993
Publisher: London, Academic Press
Media group: MONOGRAPHIE
Cover von Learning a Better Motif Index

Learning a Better Motif Index

Toward Automated Motif Extraction
Year: 2016
Media group: OASICS
Cover von Seven Years Later

Seven Years Later

Lessons Learned in Automated Assessment
Year: 2024
Media group: OASICS
Cover von Many-valued logics 2
automated reasoning and practical applications
Author: Bolc, Leonard; Borowik, Piotr Search for this author
Year: 2003
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Instantiation theory
on the foundations of automated deduction
Author: Williams, James G. Search for this author
Year: 1991
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 518
Media group: MONOGRAPHIE
Cover von Machine vision
automated visual inspection and robot vision
Author: Vernon, David Search for this author
Year: 1991
Publisher: New York, Prentice Hall
Media group: MONOGRAPHIE
Cover von The Debugging Book
Tools and Techniques for Automated Software Debugging
Author: Zeller, Andreas Search for this author
Media group: OPENACCESS
Cover von WCET of OCaml Bytecode on Microcontrollers

WCET of OCaml Bytecode on Microcontrollers

An Automated Method and Its Formalisation
Year: 2019
Media group: OASICS
Cover von Computational Philosophy

Computational Philosophy

On Fairness in Automated Decision Making
Year: 2017
Media group: LIPIcs
Cover von Rules of Encounter
Designing Conventions for Automated Negotiation among Computers
Author: Rosenschein, Jeffrey S.; Zlotkin, Gilad Search for this author
Year: 1998
Publisher: Cambridge, MIT Pr.
Media group: MONOGRAPHIE
OPEN V 11.1.0.0