Labelled Non-Classical Logics - Luca Vigano - 書籍 - Springer - 9780792377498 - 2000年1月31日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Labelled Non-Classical Logics 2000 edition

価格
¥ 28.997
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月20日 - 年9月7日
Luca Vigano の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能:

Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis.


292 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2000年1月31日
ISBN13 9780792377498
出版社 Springer
ページ数 292
寸法 156 × 234 × 19 mm   ·   612 g
言語 英語  

Luca Viganoの他の作品を見る

すべて表示

同じ出版社からのその他の記事