10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 Proceedings

10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 Proceedings

edited by Mark E. Stickel

Berlin, Heidelberg : Springer-Verlag, 1990

電子ブック

巻号情報

全1件
No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

電子ブック

  • Springer e-book

詳細情報

刊年

1990

G/SMD

機械可読データファイル -- リモートファイル (wr)

形態

: v.: digital

シリーズ名

Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 449

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Stickel, Mark E.

SpringerLink (Online service)

件名

Computer science

Artificial intelligence

Computer Science

Artificial Intelligence (incl. Robotics)

Mathematical Logic and Formal Languages

ISBN

9783540471714 (: electronic bk)

IDENT

http://dx.doi.org/10.1007/3-540-52885-7