>> Amazon.co.jp
このページのQRコード

Proof and computation

種類:
図書
責任表示:
edited by Helmut Schwichtenberg
出版情報:
Berlin ; New York : Springer-Verlag, 1995
著者名:
シリーズ名:
NATO ASI series ; Ser. F . Computer and systems sciences ; v. 139 <BA0006594X>
ISBN:
9783540585817 [3540585818]  CiNii Books  Calil
注記:
"Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20-Aug. 1, 1993" -- T.p. verso
"Published in cooperation with NATO Scientific Affairs Division"
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic of computation

NATO Advanced Study Institute on Logic of Computation, Schwichtenberg, Helmut, 1942-

Springer
7 図書 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
2 図書 Logic, algebra, and computation

NATO Advanced Study Institute on Logic, Algebra, and Computation, Bauer, Friedrich Ludwig, 1924-

Springer-Verlag
8 図書 Basic proof theory

Troelstra, A. S. (Anne Sjerp), Schwichtenberg, Helmut, 1942-

Cambridge University Press
3 図書 Proof and system-reliability

Schwichtenberg, Helmut, 1942-, Steinbrüggen, Ralf, NATO Advanced Study Institute

Kluwer Academic
9 図書 Computational logic

Berger, Ulrich, 1956-, Schwichtenberg, Helmut, 1942-, North Atlantic Treaty Organization. Scientific Affairs Division

Springer
4 図書 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings

JELIA, Eijck, J. van (Jan)

Springer-Verlag
10 図書 Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968

Conference on Intuitionism and Proof Theory, Kino, Akiko, Myhill, John Martin, Vesley, Richard Eugene, 1932-, State &hellip;

North-Holland Pub. Co.
5 図書 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

Logic Colloquium, Müller, Gert Heinz, 1923-

Springer-Verlag
11 図書 Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings

Proof Theory in Computer Science, Kahle, Reinhard, Schroeder-Heister, Peter Joseph, 1953-, Stärk, Robert

Springer
6 図書 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
12 図書 Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings

Kirchner, Hélène, Levi, Giorgio, 1942-, International Conference on Algebraic and Logic Programming

Springer-Verlag