Computer Science Logic 1996th ed.(Lecture Notes in Computer Science Vol.1092) P 495 p. 96
Kleine Buening, Hans
編
|
在庫状況
海外在庫有り
|
お届け予定日
1ヶ月
|
|
|
価格
\14,052(税込)
|
|
|
|
発行年月 |
1996年06月 |
---|
出版社/提供元 |
Springer-Verlag GmbH |
出版国 |
ドイツ |
---|
言語 |
英語 |
---|
媒体 |
冊子 |
---|
装丁 |
paper |
---|
|
ページ数/巻数 |
VIII, 492 p. |
---|
|
|
ジャンル |
洋書/理工学/情報科学/情報科学基礎 |
---|
|
|
ISBN |
9783540613770 |
---|
|
商品コード |
0209625243 |
---|
|
|
|
本の性格 |
議事録 |
---|
|
|
|
商品URL | https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209625243 |
---|
内容
The 27 papers in this volume cover topics including temporal logics,rewriting systems, deduction, theorem proving, process algebra, linearlogics, proof theory, and formal languages.