>> 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
著者名:
Parikh, Rohit, 1936- <DA00406923>  
シリーズ名:
Lecture notes in computer science ; 193 <BA00009279>
書誌ID:
BA00491890
ISBN:
9783540156482 [3540156488] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387156484 [0387156488] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Logic Colloquium

Rohit Parikh

Springer Berlin Heidelberg
7 図書 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
2 電子ブック Logics of Programs

Parikh

Springer Berlin Heidelberg
8 図書 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
3 図書 Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986

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 図書 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
10 図書 From logic design to logic programming : theorem proving techniques and P-functions

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

Springer-Verlag
5 図書 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
11 図書 Future parallel computers : an advanced course, Pisa, Italy, June 9-20, 1986 : proceedings

Advanced Course on Future Parallel Computers, Vanneschi, Marco, European Strategic Programme of Research and Development &hellip;

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

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

Springer-Verlag
12 図書 Automata, languages and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985

International Colloquium on Automata, Languages and Programming, Brauer, Wilfried, 1937-, European Association for &hellip;

Springer-Verlag