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

bile-acids

書(shū)目名稱(chēng)Logics in Artificial Intelligence影響因子(影響力)




書(shū)目名稱(chēng)Logics in Artificial Intelligence影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)Logics in Artificial Intelligence網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)Logics in Artificial Intelligence網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)Logics in Artificial Intelligence被引頻次




書(shū)目名稱(chēng)Logics in Artificial Intelligence被引頻次學(xué)科排名




書(shū)目名稱(chēng)Logics in Artificial Intelligence年度引用




書(shū)目名稱(chēng)Logics in Artificial Intelligence年度引用學(xué)科排名




書(shū)目名稱(chēng)Logics in Artificial Intelligence讀者反饋




書(shū)目名稱(chēng)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

包租車(chē)船

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

陶醉