Titlebook: KI-98: Advances in Artificial Intelligence; 22nd Annual German C Otthein Herzog,Andreas Günter Conference proceedings 1998 Springer-Verlag

Chagrin

Alexander Seitz,Adelinde M. Uhrmacher Dabei war — neben etlichen exportfördenden Maßnahmen. — die Mobilisierung von besonderen Arbeitskräften augenfällig, die sich von der traditionellen Arbeiterschaft folgendermaßen unterschieden: jung, weiblich, billig, ledig und damit vorübergehend (die Arbeiterinnen arbeiteten nur bis zur Ehe) und

Coronary-Spasm

Parallel

Arteriography

Etching

Deductive verification of invariants of state-transition systems,n problem can be generically used to decompose the problem into modular tasks which can be successfully tackled with the help of techniques developed in the field of inductive theorem proving. As an example we present the mechanical verification of the invariant of a case study specifying a generic elevator.

CREST

按等级

https://doi.org/10.1007/BFb0095422AI Logics; Agent Technology; Data Mining; Knowledge Processing; Robotics; agents; artificial intelligence;

发现

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/k/image/541667.jpg

fodlder

978-3-540-65080-5Springer-Verlag Berlin Heidelberg 1998

debunk