Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings

>> Amazon.co.jp

このページのQRコード

Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings

種類:

図書

責任表示:

Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

出版情報:

Berlin ; Tokyo : Springer, c2001

著者名:

シリーズ名:

Lecture notes in computer science ; 2183 <BA00009279>

ISBN:

9783540427520 [354042752X]

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Automatic theorem proving--Congresses; Logic, Symbolic and mathematical--Congresses
分類・件名:	NDC9 : 007 LCSH : Automatic theorem proving -- Congresses LCSH : Logic, Symbolic and mathematical -- Congresses
TTLL:	eng
言語:	英語
形態:	viii, 238 p. : ill. ; 24 cm
書誌ID:	BA53965621

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings International Conference on Automated Deduction, Shostak, Robert, 1931- Springer-Verlag	7 電子ブック Partial Evaluation : International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers Danvy, Olivier, Glück, Robert, Thiemann, Peter, SpringerLink (Online service) Springer-Verlag
2 図書 Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946- Springer	8 電子ブック Partial Evaluation : International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers Danvy, Olivier., Glück, Robert., Thiemann, Peter., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
3 図書 Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-, Kurt Gödel Society Springer-Verlag	9 図書 CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, Richter, Michael M., 1938- Springer-Verlag
4 図書 Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings International Conference on Automated Deduction, Bundy, Alan Springer-Verlag	10 図書 Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings Workshop on Computer Science Logic, Börger, Egon, 1946- Springer-Verlag
5 図書 Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings International Conference on Automated Deduction, Kirchner, Claude, Kirchner, Hélène Springer	11 図書 Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings Workshop on Computer Science Logic, Börger, Egon, 1946- Springer-Verlag
6 図書 Discrete mathematics and theoretical computer science : 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings DMTCS, Calude, Cristian, 1952-, Dinneen, M. J., 1957-, Vajnovszki, Vincent Springer	12 図書 Partial evaluation : International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers Partial Evaluation International Seminar, Danvy, Olivier, Glück, R. (Robert), 1961-, Thiemann, P. (Peter), 1964- Springer