検索条件
件名:LCSH:Logic,Symbolicandmathematical -- Congresses
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | | 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 : gw , : us ( Lecture notes in computer science ; 87 ) | 中央図書館 | edited by W. Bibel and R. Kowalski | Springer-Verlag | 1980 | 中央5階洋 007.1||L 49||87 |
2 | | 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings : gw , : us ( Lecture notes in computer science ; 170 ) | 中央図書館 | edited by R.E. Shostak | Springer-Verlag | 1984 | 中央5階洋 007.1||L 49||170 |
3 | | 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings : gw , : us ( Lecture notes in computer science ; 230 ) | 中央図書館 | edited by Jörg H. Siekmann | Springer-Verlag | 1986 | 中央5階洋 007.1||L 49||230 |
4 | | 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings : gw , : us ( Lecture notes in computer science ; 310 ) | 中央図書館 | E. Lusk, R. Overbeek (eds.) | Springer-Verlag | 1988 | 中央5階洋 007.1||L 49||310 |
5 | | COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings Berlin , New York ( Lecture notes in computer science ; 417 ) | 中央図書館 | P. Martin-Löf, G. Mints, eds. | Springer-Verlag | 1990 | 中央5階洋 007.1||L 49||417 |
6 | | Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings : gw , : us ( Lecture notes in computer science ; 533 ) | 中央図書館 | E. Börger ... [et al.], eds | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||533 |
7 | | CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings : gw , : us ( Lecture notes in computer science ; 329 ) | 中央図書館 | E. Börger, H. Kleine Büning, M.M. Richter (eds.) | Springer-Verlag | 1988 | 中央5階洋 007.1||L 49||329 |
8 | | CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings : gw , : us ( Lecture notes in computer science ; 440 ) | 中央図書館 | E. Börger, H. Kleine Büning, M.M. Richter (eds.) | Springer-Verlag | 1990 | 中央5階洋 007.1||L 49||440 |
9 | | Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings : gw , : us ( Lecture notes in computer science ; 306 ) | 中央図書館 | M. Boscarol, L. Carlucci Aiello, G. Levi (eds.) | Springer-Verlag | 1988 | 中央5階洋 007.1||L 49||306 |
10 | | Fuzzy approach to reasoning and decision-making : selected papers of the international symposium held at Bechyně, from June 25 to 29, 1990 HB ( Theory and decision library ; Series D[ System theory, knowledge engineering, and problem solving ; v. 8] ) | 中央図書館 | edited by Vilém Novák ... [et al.] | Kluwer Academic Publishers | 1992 | 中央5階洋 410.1||F 99 |
選択行を:
|