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

Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991

種類:
図書
責任表示:
edited by Dag Prawitz, Brian Skyrms, Dag Westerståhl
出版情報:
Amsterdam ; Tokyo : Elsevier, 1994
著者名:
シリーズ名:
Studies in logic and the foundations of mathematics ; v. 134 <BA00099329>
ISBN:
9780444893413 [0444893415]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic, methodology and philosophy of science : proceedings of the 1964 International Congress

International Congress of Logic, Methodology and Philosophy of Science, Bar-Hillel, Yehoshua, International Union of the &hellip;

North-Holland Pub. Co.
7 図書 Methodologies for intelligent systems, 4 : proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, …

International Symposium on Methodologies for Intelligent Systems, Raś, Zbigniew, University of North Carolina at &hellip;

North-Holland
2 図書 Basic problems in methodology and linguistics

International Congress of Logic, Methodology and Philosophy of Science, Butts, Robert E., Hintikka, Jaakko, 1929-

D. Reidel
8 図書 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings

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

Springer-Verlag
3 図書 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
9 図書 Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

Workshop on Computer Science Logic, Nielsen, Mogens, Thomas, Wolfgang, European Association for Computer Science Logic

Springer
4 図書 CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings

Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, 1948-, Richter, Michael M., 1938-

Springer-Verlag
10 図書 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
5 図書 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
11 図書 Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

Workshop on Computer Science Logic, Börger, Egon, 1946-, Gurevich, Yuri, Meinke, K. (Karl)

Springer-Verlag
6 図書 Realism and anti-realism in the philosophy of science : Beijing International Conference, 1992

Beijing International Conference on Philosophy of Science, Cohen, R. S. (Robert Sonné), Hilpinen, Risto, Chʿiu, &hellip;

Kluwer Academic Publishers
12 図書 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