選択行を:
| 資料名 | 所在 |
1 | 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann ; : gw, : us. -- Springer-Verlag, c1986. -- (Lecture notes in computer science ; 230). | 図書館(書庫) 007.1:I |
2 | 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.) ; : gw, : us. -- Springer-Verlag, c1988. -- (Lecture notes in computer science ; 310). | 理数学 007.6:I |
3 | Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) / edited by Hartmut Ehrig ... [et al.] ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 250 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 2). | 理数学 007.6:T:2 |
4 | The advancement of learning / Francis Bacon ; edited with an introduction by G.W. Kitchin. -- Dent, . -- (Everyman's library ; no. 719). | 図書館(書庫) 133.2:B128:3 |
5 | The advancement of learning / Francis Bacon ; edited with introduction, notes and commentary by Michael Kiernan. -- Clarendon : Oxford University Press, 2000. -- (The Oxford Francis Bacon ; 4). | 教養(教養学部棟) 133.2:B:4 |
6 | Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors. -- American Mathematical Society, c1999. -- (Contemporary mathematics ; v. 235). | 理数学 007.1:C |
7 | Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier ; : pbk. -- Cambridge University Press, 1995. -- (London Mathematical Society lecture note series ; 222). | 理数学 410.9:A |
8 | Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas / Su Gao, Steve Jackson, Yi Zhang, editors. -- American Mathematical Society, c2007. -- (Contemporary mathematics ; 425). | 理数学 410.9:G |
9 | Algebra and computer science : Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015: Porto, Portugal : Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015: San Antonio, TX : Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014: Tel-Aviv, Israel / Delaram Kahrobaei, Bren Cavallo, David Garber, editors. -- American Mathematical Society, c2016. -- (Contemporary mathematics ; 677). | 理数学 411:K |
10 | Algorithmic logic / G. Mirkowska and A. Salwicki. -- D. Reidel, . | 教養共5F英語 410.9:M |
選択行を:
|