6th Conference on Automated Deduction

フォーマット:
電子ブック
責任表示:
Loveland
言語:
英語
出版情報:
Springer Berlin Heidelberg, 1982
著者名:
Loveland  
ISBN:
9783540115588 [3540115587]  CiNii Books  Webcat Plus  Google Books
9783540392408 [3540392408]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
ジャーナル/ブックへリンク
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック 7th International Conference on Automated Deduction

International Conference on Automated Deduction, Shostak, Robert

Springer New York
7 図書 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings

International Conference on Automated Deduction, Siekmann, Jörg H., 1941-

Springer-Verlag
2 電子ブック 8th International Conference on Automated Deduction

Siekmann

Springer Berlin Heidelberg
8 電子ブック 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

Bibel

Springer Berlin Heidelberg
3 電子ブック 9th International Conference on Automated Deduction

Lusk

Springer Berlin Heidelberg
9 図書 Automated theorem proving in software engineering

Schumann, Johann M., Loveland, Donald W., 1934-

Springer
4 電子ブック 10th International Conference on Automated Deduction

Stickel

Springer Berlin Heidelberg
10 電子ブック Automated Deduction—CADE-18

Andrei Voronkov

Springer Berlin Heidelberg
5 電子ブック Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Pientka, Brigitte., Tinelli, Cesare

Springer International Publishing AG
11 電子ブック Automated Deduction – CADE-19

International Conference on Automated Deduction, Baader, Franz

Springer Berlin Heidelberg
6 図書 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings

International Conference on Automated Deduction, Shostak, Robert, 1931-

Springer-Verlag
12 電子ブック Automated Deduction—CADE-11

International Conference on Automated Deduction, Kapur, Deepak

Springer Berlin Heidelberg