Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio Proietti (ed.)

>> Amazon.co.jp

このページのQRコード

Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio Proietti (ed.)

種類:

図書

責任表示:

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

出版情報:

Berlin ; New York ; Tokyo : Springer, c1996

著者名:

シリーズ名:

Lecture notes in computer science ; 1048 <BA00009279>

ISBN:

9783540609391 [3540609393]

注記:

Includes bibliographical references and index

オンライン

電子版はこちら　※岐阜大学構成員専用(Gifu University members only)

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Logic programming--Congresses
分類・件名:	LCC : QA76.63 DDC : 005.13/1 NDC9 : 007.64 LCSH : Logic programming -- Congresses
LCCN:	96010638
TTLL:	eng
言語:	英語
形態:	x, 266 p. : ill. ; 24 cm
書誌ID:	BA27378582

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings Proietti, Maurizio, SpringerLink (Online service) Springer-Verlag	7 電子ブック Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings Hermenegildo, Manuel, Swierstra, S. Doaitse, SpringerLink (Online service) Springer-Verlag
2 電子ブック Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings Proietti, Maurizio., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	8 電子ブック 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) Springer Berlin Heidelberg : Imprint: Springer
3 図書 Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : … International Symposium, PLILP, Hermenegildo, Manuel, Swierstra, S. Doaitse Springer-Verlag	9 図書 Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings International Workshop PLILP, Deransart, Pierre, 1945-, Małuszyński, Jan, 1941- Springer-Verlag
4 図書 Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers International Workshop on Logic Program Synthesis and Transformation, Bossi, Annalisa, 1948- Springer	10 図書 Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings International Conference on Algebraic and Logic Programming, Hanus, Michael, Rodríguez Artalejo, M. (Mario) Springer
5 図書 Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : … International Workshop on Logic Program Synthesis and Transformation, Fribourg, Laurent, 1957-, Turini, Franco, 1949-, … Springer-Verlag	11 図書 Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings LPAR, Pfenning, Frank Springer-Verlag
6 図書 Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, … International Workshop on Logic Program Synthesis and Transformation, Deville, Yves, 1960-, British Computer Society Springer-Verlag	12 図書 Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings Hanus, Michael, Heering, J, Meinke, K. (Karl), International Conference on Algebraic and Logic Programming, Workshop on … Springer-Verlag