Symposium on Automatic Demonstration | 東京工業大学附属図書館蔵書検索

Blank Cover Image

所蔵情報QRコード

Symposium on Automatic Demonstration / edited by M. Laudet ... [et al.]

資料種別:

図書

出版情報:

Berlin : Springer-Verlag, 1970

形態:

310 p. ; 26 cm

シリーズ名:

Lecture notes in mathematics ; 125 <BA00146586>

著者名:

書誌ID:

BA06809416

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	English or French Includes bibliographies
主題:	Automatic theorem proving--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Symposium on Automatic Demonstration M. Laudet, Lacombe, D., Nolin, L., Schützenberger, M. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 図書 Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings International Symposium on Design and Implementation of Symbolic Computation Systems, Calmet, Jacques, 1941-, … Springer
2 図書 Principles of data mining and knowledge discovery : First European Symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997 : proceedings PKDD, Komorowski, Jan, Żytkow, Jan M. Springer	8 図書 Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and … IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., … North-Holland
3 図書 Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings International Conference on Automated Deduction, McRobbie, M. A. (Michael A.), Slaney, John K. Springer	9 図書 Theorem proving in higher order logics : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings International Conference on Theorem Proving in Higher Order Logics, Slind, Konrad, Bunker, Annette, Gopalakrishnan, … Springer
4 図書 Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers (: gw) International Workshop on TYPES, Dybjer, Peter, Nordström, Bengt, Smith, Jan M Springer-Verlag	10 図書 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 (: gw ; : us) Conference on Automated Deduction, Bibel, Wolfgang, 1938-, Kowalski, Robert Springer-Verlag
5 図書 Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings International Conference on Formal and Applied Practical Reasoning, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen Springer	11 図書 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings (: gw ; : us) International Conference on Automated Deduction, Shostak, Robert, 1931- Springer-Verlag
6 図書 Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures COMPOS, Roever, W.-P. de, 1943-, Langmaack, Hans, Pnueli, A. (Amir) Springer	12 図書 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings (: gw ; : us) International Conference on Automated Deduction, Lusk, Ewing L., Overbeek, Ross A. Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12