|
A Resolution Principle for a Logic with Restricted Quantifiers 1991st ed.(Lecture Notes in Computer Science Vol.568) P 126 p. 91
Bürckert, Hans-Jürgen
著
発行年月 |
1991年12月 |
|---|
|
出版国 |
ドイツ |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
paper |
|---|
|
ページ数／巻数 |
XII, 120 p. |
|---|
|
|
ジャンル |
洋書／理工学／情報科学／人工知能 |
|---|
|
|
ISBN |
9783540550341 |
|---|
|
商品コード |
0209133980 |
|---|
|
|
|
本の性格 |
学術書 |
|---|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209133980 |
|---|
内容
This book is also part of the subseries Lecture Notes in Artificial Intelligence
