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

Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra, (eds.)

資料種別:
図書
出版情報:
Berlin ; New York ; Tokyo : Springer-Verlag, c1995
形態:
xi, 466 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 982 <BA00009279>
著者名:
ISBN:
9783540603597 [354060359X]
書誌ID:
BA26022013
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. …

Hermenegildo, Manuel., Swierstra, S.Doaitse., SpringerLink (Online service)
7 電子ブック Programming Languages: Implementations, Logics and Programs

PLILP '95, Hermenegildo, Manuel, Swierstra, S. Doaitse

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings (: us ; : gw)

International Symposium, PLILP, Hermenegildo, Manuel, Penjam, Jaan, 1955-

Springer-Verlag
8 電子ブック Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings

Kuchen, Herbert., Swierstra, S.Doaitse., SpringerLink (Online service)
3 図書 Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings

International Symposium, PLILP, Kuchen, Herbert R., 1958-, Swierstra, S. Doaitse

Springer
9 電子ブック Programming Language Implementation and Logic Programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings

Hermenegildo, Manuel., Penjam, Jaan., SpringerLink (Online service)
4 図書 Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings (: gw ; : us)

International Symposium, PLILP, Bruynooghe, M. (Maurice), Wirsing, M. (Martin)

Springer-Verlag
10 図書 Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming … (: pbk)

International Symposium, PLILP, Glaser, Hugh, Hartel, Pieter H., Kuchen, Herbert R., 1958-

Springer
5 図書 Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings (: us ; : gw)

International Symposium, PLILP, Bruynooghe, M. (Maurice), Penjam, Jaan, 1955-

Springer-Verlag
11 電子ブック Programming Languages and Systems : 8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of …

Swierstra, S. Doaitse., SpringerLink (Online service)
6 図書 Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio …

International Workshop on Logic Program Synthesis and Transformation, Proietti, Maurizio, 1959-

Springer
12 電子ブック Programming Languages: Implementations, Logics, and Programs

PLILP '96, Kuchen, Herbert, Swierstra, S. Doaitse

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12