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

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

種類:
図書
責任表示:
edited by Rohit Parikh
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1985
著者名:
Parikh, Rohit, 1936- <DA00406923>  
シリーズ名:
Lecture notes in computer science ; 193 <BA00009279>
ISBN:
9783540156482 [3540156488] (: gw)  CiNii Books  Calil
9780387156484 [0387156488] (: us)  CiNii Books  Calil
注記:
Papers presented at a conference held at Brooklyn College June 17-19, 1985
Includes bibliographies
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Logics of Programs : Brooklyn, June 17–19, 1985 Proceedings

Parikh, Rohit, SpringerLink (Online service)

Springer-Verlag
7 図書 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
2 電子ブック Logics of Programs : Brooklyn, June 17-19, 1985

Parikh, Rohit., SpringerLink (Online service)

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

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

Springer-Verlag
3 図書 ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, proceedings

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

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 図書 Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985

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

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

International Conference on Logic Programming, Shapiro, Ehud Y.

Springer-Verlag
5 図書 ECOOP '87 : European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987 : proceedings

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

Springer-Verlag
11 図書 Logic Colloquium : symposium on logic held at Boston, 1972-73

Boston Logic Colloquium, Parikh, Rohit, 1936-

Springer-Verlag
6 図書 Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986

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

Springer-Verlag
12 図書 From logic design to logic programming : theorem proving techniques and P-functions

Snyers, Dominique, 1959-, Thayse, André, 1940-

Springer-Verlag