>> Google Books
所蔵情報QRコード

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1985
形態:
vi, 424 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 193 <BA00009279>
著者名:
Parikh, Rohit, 1936- <DA00406923>  
ISBN:
9783540156482 [3540156488] (: gw)
9780387156484 [0387156488] (: us)
書誌ID:
BA00491890
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Logics of Programs : Brooklyn, June 17-19, 1985

Parikh, Rohit., SpringerLink (Online service)
7 図書 Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 (: gw ; : us)

Ganzinger, Harald, 1950-, Jones, Neil D., 1941-, Workshop "Programs as Data Objects"

Springer-Verlag
2 電子ブック Logic Colloquium

Rohit Parikh

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
8 図書 ECOOP '87 : European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987 : proceedings (: gw ; : us)

European Conference on Object-Oriented Programming, Bézivin, J. (Jean)

Springer-Verlag
3 電子ブック Logics of Programs

Parikh

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 図書 Logic Programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985 (: gw ; : us)

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

Springer-Verlag
4 図書 Logic Colloquium : symposium on logic held at Boston, 1972-73 (: Germany ; : U.S.)

Boston Logic Colloquium, Parikh, Rohit, 1936-

Springer-Verlag
10 図書 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
5 図書 Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986 (: gw ; : us)

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

Springer-Verlag
11 図書 Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings (: gw ; : us)

International Conference on Logic Programming, Shapiro, Ehud Y.

Springer-Verlag
6 図書 ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, proceedings (: gw ; : us)

European Symposium on Programming, Robinet, Bernard, 1941-, Wilhelm, Reinhard, 1946-

Springer-Verlag
12 図書 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
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12