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影響因子(影響力)學(xué)科排名




書目名稱Logics in Artificial Intelligence網(wǎng)絡(luò)公開度




書目名稱Logics in Artificial Intelligence網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Logics in Artificial Intelligence被引頻次




書目名稱Logics in Artificial Intelligence被引頻次學(xué)科排名




書目名稱Logics in Artificial Intelligence年度引用




書目名稱Logics in Artificial Intelligence年度引用學(xué)科排名




書目名稱Logics in Artificial Intelligence讀者反饋




書目名稱Logics in Artificial Intelligence讀者反饋學(xué)科排名

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

陶醉