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 | | Automation of reasoning. v. 1 - U.S. : v. 2 | 中央図書館 | edited by Jörg Siekmann and Graham Wrightson. | Springer | 1983 | 中央5階洋 007.1||A 96||1 中央5階洋 007.1||A 96||2 |
6 | | Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship U.S. ( Lecture notes in computer science ; 321 ) | 中央図書館 | J. Zwiers. | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||321 |
7 | | A computational logic handbook ( Perspectives in computing ; v. 23 ) | 中央図書館 | Robert S. Boyer, J. Strother Moore | Academic Press | 1988 | 中央5階洋 410.12||B 69 |
8 | | From logic design to logic programming : theorem proving techniques and P-functions U.S. : pbk. ( Lecture notes in computer science ; 271 ) | 中央図書館 | Dominique Snyers, André Thayse. | Springer-Verlag | 1987 | 中央5階洋 007.1||L 49||271 |
9 | | Instantiation theory : on the foundations of automated deduction Berlin : acid-free paper , New York : acid-free paper ( Lecture notes in computer science.[ Lecture notes in artificial intelligence.] ) | 中央図書館 | J.G. Williams. | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||518 |
10 | | IV Higher Order Workshop, Banff 1990 : proceedings of the IV Higher Order Workshop, 10-14 September 1990, Banff, Canada alk. paper ( Workshops in computing ) | 中央図書館 | Graham Birtwistle (ed.). | Springer-Verlag | 1991 | 中央5階洋 548.16||H 55||4 |