Titlebook: Logics in Artificial Intelligence; European Workshop, J Manuel Ojeda-Aciego,Inma P. Guzmán,Luís Pereira Conference proceedings 2000 Springe

bile-acids

书目名称Logics in Artificial Intelligence影响因子(影响力)




书目名称Logics in Artificial Intelligence影响因子(影响力)学科排名




书目名称Logics in Artificial Intelligence网络公开度




书目名称Logics in Artificial Intelligence网络公开度学科排名




书目名称Logics in Artificial Intelligence被引频次




书目名称Logics in Artificial Intelligence被引频次学科排名




书目名称Logics in Artificial Intelligence年度引用




书目名称Logics in Artificial Intelligence年度引用学科排名




书目名称Logics in Artificial Intelligence读者反馈




书目名称Logics in Artificial Intelligence读者反馈学科排名

FLIP

nugatory

Holger Sturm,Nobu-Yuki Suzuki,Frank Wolter,Michael Zakharyaschev

损坏

Manuel Ojeda-Aciego,Inma P. Guzmán,Luís PereiraIncludes supplementary material:

aptitude

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588180.jpg

包租车船

The , Approach: Integrating Object Oriented Design and Formal VerificationThis paper reports on the ongoing KeY project aimed at bridging the gap between (a) object-oriented software engineering methods and tools and (b) deductive verification. A distinctive feature of our approach is the use of a commercial CASE tool enhanced with functionality for formal specification and deductive verification.

Inculcate

VAN

Logics in Artificial Intelligence978-3-540-40006-6Series ISSN 0302-9743 Series E-ISSN 1611-3349

谄媚于性

0302-9743 Overview: Includes supplementary material: 978-3-540-41131-4978-3-540-40006-6Series ISSN 0302-9743 Series E-ISSN 1611-3349

陶醉