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

Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings

種類:
図書
責任表示:
edited by Ehud Shapiro
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1986
著者名:
シリーズ名:
Lecture notes in computer science ; 225 <BA00009279>
ISBN:
9783540164920 [3540164928] (: gw)  CiNii Books  Calil
9780387164922 [0387164928] (: us)  CiNii Books  Calil
注記:
Includes bibliographies
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14–18, 1986 Proceedings

Shapiro, Ehud, SpringerLink (Online service)

Springer-Verlag
7 図書 Atomic collision processes : the proceedings of the third International Conference on the Physics of Electronic and Atomic Collisions, University College, …

International Conference on the Physics of Electronic and Atomic Collisions, McDowell, M. R. C.

North-Holland, Sole distributors for U.S.A., Interscience
2 電子ブック Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings

Shapiro, Ehud., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986

Logic Programming Conference, 新世代コンピュータ技術開発機構, 和田, 英一(1931-)

Springer-Verlag
3 図書 Logic Programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985

Logic Programming Conference, 和田, 英一(1931-)

Springer-Verlag
9 図書 Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986

International Workshop on Advanced Programming Environments, Conradi, Reidar, Didriksen, Tor M., Wanvik, Dag H., &hellip;

Springer-Verlag
4 図書 Automata, languages and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings

International Colloquium on Automata, Languages and Programming, Ottmann, Thomas

Springer-Verlag
10 図書 Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984 : proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science, Joseph, Mathai, 1943-, Shyamasundar, &hellip;

Springer-Verlag
5 図書 Finite elements in water resources : proceedings of the Second International Conference on Finite Elements in Water Resources held at Imperial College, London, …

International Conference on Finite Elements in Water Resources, Brebbia, C. A, Gray, William G. (...William Gurin...), &hellip;

Pentech
11 図書 Localisation 1990 : proceedings of the International Conference on Localisation held at Imperial College, London, 13-15 August 1990

International Conference on Localisation, Benedict, K. A., Chalker, J. T.

Institute of Physics
6 図書 The Recursion method and its applications : proceedings of the conference, Imperial College, London, England, September 13-14, 1984

Pettifor, D. G. (David G.), 1945-, Weaire, D. L.

Springer-Verlag
12 図書 Radioactive isotopes in the localization of tumours : the proceedings of the International Nuclear Medicine Symposium arranged by the Institute of Cancer …

International Nuclear Medicine Symposium, Imperial College of Science and Technology, 1967, McCready, V. R., London. &hellip;

Heinemann Medical