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

按等級(jí)

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

發(fā)現(xiàn)

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

fodlder

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

debunk