ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
出典:Wiktionary
出典:『Wiktionary』 (2024/11/24 17:05 UTC 版)
See carina.
carine (plural carines)
carine
出典:Wikipedia
出典:『Wikipedia』 (2009/10/28 17:44 UTC 版)
CARINE is a first-order classical logic automated theorem prover.
Carine