>> Google Books
所蔵情報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
形態:
ix, 720 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 225 <BA00009279>
著者名:
ISBN:
9783540164920 [3540164928] (: gw)
9780387164922 [0387164928] (: us)
書誌ID:
BA00180314
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

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)
7 図書 Euro・noise '92 : Imperial College, London 14-18, September 1992 : proceedings/ [proceedings editor: R. Lawrence] (Book 1 - set)

Lawrence, R, Euro・noise

Institute of Acoustics
2 電子ブック Third International Conference on Logic Programming

Shapiro

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
8 図書 Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986 (: gw ; : us)

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

Springer-Verlag
3 図書 Holographics International '92 : 23-29 July 1992, Imperial College of Science, Technology and Medicine, London, United Kingdom (pbk.)

Holographics International, Denisi︠u︡k, I︠U︡. N., Wyrowski, Frank, Symposium B on Nonlinear Optical Materials …

SPIE
9 図書 Algorithmic program debugging

Shapiro, Ehud Y.

MIT Press
4 図書 Logic Programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985 (: gw ; : us)

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

Springer-Verlag
10 図書 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...), …

Pentech
5 図書 Automata, languages and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings (: gw ; : us)

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

Springer-Verlag
11 図書 Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 (: gw ; : us)

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

Springer-Verlag
6 図書 Proceedings of the 5th International Modal Analysis Conference, April 6-9, 1987, Imperial College of Science & Technology, London, England (v. 1 ; v. 2)

International Modal Analysis Conference

Union College, Graduate and Continuing Studies
12 図書 The Recursion method and its applications : proceedings of the conference, Imperial College, London, England, September 13-14, 1984 (: gw ; : us)

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

Springer-Verlag
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12