Jump to main content

yr 〜
yr

Search results 11

Functional and logic programming : 9th international symposium, FLOPS 2008 : Ise, Japan, April 14-16, 2008 : proceedings. : Apr 2008, Ise, Japan. (Lecture Notes in Computer Science ; 4989)

Functional and logic programming : 9th international symposium, FLOPS 2008 : Ise, Japan, April 14-16, 2008 : proceedings. : Apr 2008, Ise, Japan. (Lecture Notes in Computer Science ; 4989)
Paper図書
Springerc2008.<M17-08-1263>
National Diet Library
  • Author HeadingGarrigue, Jacques. Hermenegildo, Manuel. Fuji International Symposium...

Static analysis : 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings. : Sep 2002, Madrid, Spain. (Lecture Notes in Computer Science ; 2477)

Static analysis : 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings. : Sep 2002, Madrid, Spain. (Lecture Notes in Computer Science ; 2477)
Paper図書
Springerc2002.<M17-03-162>
National Diet Library
  • Author HeadingHermenegildo, Manuel. Puebla, Germán. Internationa...

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.). (Lecture notes in computer science)

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.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9861>
National Diet Library
  • Author Heading...e Netherlands) Hermenegildo, Manuel. Swierstra, S. Doaitse.

Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings pbk.

Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings pbk.
Paper図書
Jacques Garrigue, Manuel Hermenegildo (eds.)Springerc2008
Other Libraries in Japan
  • Author Heading...rigue, Jacques Hermenegildo, Manuel

Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam (eds.). (Lecture notes in computer science)

Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9455>
National Diet Library
  • Author Heading...Madrid, Spain) Hermenegildo, Manuel. Penjam, Jaan, 1955-

Practical aspects of declarative languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings

Practical aspects of declarative languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings
Paper図書
Manuel Hermenegildo, Daniel Cabeza (eds.)Springerc2005
Other Libraries in Japan
  • Author Heading...tive Languages Hermenegildo, Manuel Cabeza, Daniel

Analysis and visualization tools for constraint programming : constraint debugging

Analysis and visualization tools for constraint programming : constraint debugging
Paper図書
Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszyński (eds.)Springerc2000
Other Libraries in Japan
  • Author HeadingDeransart, Pierre Hermenegildo, Manuel Małuszyński, Jan

Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings

Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
Paper図書
Manuel Hermenegildo, S. Doaitse Swierstra, (eds.)Springer-Verlagc1995
Other Libraries in Japan
  • Author HeadingInternational Symposium, PLILP Hermenegildo, Manuel Swierstra, S. Doaitse

Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings : us : gw

Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings : us : gw
Paper図書
Manuel Hermenegildo, Jaan Penjam, (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author HeadingInternational Symposium, PLILP Hermenegildo, Manuel Penjam, Jaan

Logic programming : proceedings of the 1990 North American conference : pbk.

Logic programming : proceedings of the 1990 North American conference : pbk.
Paper図書
edited by Saumya Debray and Manuel HermenegildoMIT Pressc1990
Other Libraries in Japan
  • Author HeadingDebray, Saumya Hermenegildo, Manuel North American Conference on ...

Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings

Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
Paper図書
Manuel V. Hermenegildo, Germán Puebla (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingSAS Hermenegildo, Manuel V. Puebla, Germán

Reached to the end of result.

RSS