Jump to main content

yr 〜
yr

Search results 31

Practical aspects of declarative languages : 17th international symposium, PADL 2015 : Portland, OR, USA, June 18-19, 2015 : proceedings : Jun 2015, Portland, OR. (Lecture Notes in Computer Science ; 9131)

Practical aspects of declarative languages : 17th international symposium, PADL 2015 : Portland, OR, USA, June 18-19, 2015 : proceedings : Jun 2015, Portland, OR. (Lecture Notes in Computer Science ; 9131)
Paper図書
Springer[2015]<M17-16-401>
National Diet Library
  • Author Heading...ran Cao, 1962- Association for Logic Programming.

Logic programming : 25th international conference, ICLP 2009 : Pasadena, CA, USA, July 14-17, 2009 : proceedings. : Jul 2009, Pasadena, CA. (Lecture Notes in Computer Science ; 5649)

Logic programming : 25th international conference, ICLP 2009 : Pasadena, CA, USA, July 14-17, 2009 : proceedings. : Jul 2009, Pasadena, CA. (Lecture Notes in Computer Science ; 5649)
Paper図書
Springerc2009.<M17-10-1487>
National Diet Library
  • Author HeadingAssociation for Logic Programming. Hill, Patricia M. Warren, Dav...

Logic programming : 24th international conference, ICLP 2008 : Udine, Italy, December 9-13 2008 : proceedings. : Dec 2008, Udine, Italy. (Lecture Notes in Computer Science ; 5366)

Logic programming : 24th international conference, ICLP 2008 : Udine, Italy, December 9-13 2008 : proceedings. : Dec 2008, Udine, Italy. (Lecture Notes in Computer Science ; 5366)
Paper図書
Springerc2008.<M17-09-1306>
National Diet Library
  • Author HeadingAssociation for Logic Programming. Banda, Maria Garcia de la. Po...

Logic programming : 22nd international conference, ICLP 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : 4th federated logic conference, FLoC 2006 : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4079)

Logic programming : 22nd international conference, ICLP 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : 4th federated logic conference, FLoC 2006 : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4079)
Paper図書
Springerc2006.<M17-07-2102>
National Diet Library
  • Author HeadingAssociation for Logic Programming. Etalle, Sandro. Truszczyński,...

Logic programming : 23rd international conference, ICLP 2007 : Porto, Portugal, September 8-13, 2007 : proceedings. : Sep 2007, Porto, Portugal. (Lecture Notes in Computer Science ; 4670)

Logic programming : 23rd international conference, ICLP 2007 : Porto, Portugal, September 8-13, 2007 : proceedings. : Sep 2007, Porto, Portugal. (Lecture Notes in Computer Science ; 4670)
Paper図書
Springerc2007.<M17-08-1232>
National Diet Library
  • Author HeadingAssociation for Logic Programming. Dahl, Veronica, 1950- Niemelä...

Logic programming : 21st international conference, ICLP 2005 : Sitges, Spain, October 2-5, 2005 : proceedings. : Oct 2005, Sitges, Spain. (Lecture Notes in Computer Science ; 3668)

Logic programming : 21st international conference, ICLP 2005 : Sitges, Spain, October 2-5, 2005 : proceedings. : Oct 2005, Sitges, Spain. (Lecture Notes in Computer Science ; 3668)
Paper図書
Springerc2005.<M17-06-175>
National Diet Library
  • Author HeadingAssociation for Logic Programming. Gabbrielli, Maurizio. Gupta, ...

Logic programming : 4th Joint international conference and symposium : Jun 1998, Manchester, UK.

Logic programming : 4th Joint international conference and symposium : Jun 1998, Manchester, UK.
Paper図書
MIT Press1998.<M17-00-0217>
National Diet Library
  • Author HeadingAssociation for Logic Programming.

Logic programming : 14th International Conference : Jul 1997, Leuven, Belgium.

Logic programming : 14th International Conference : Jul 1997, Leuven, Belgium.
Paper図書
MIT Pressc1997.<M17-00-0216>
National Diet Library
  • Author HeadingAssociation for Logic Programming.

Practical aspects of declarative languages : first international workshop, PADL '99, San Antonio, Texas, USA, January 1999 : proceedings -- : Practical aspects of declarative languages : International workshop : 1st : Jan 1999, San Antonio, TX. (Lecture Notes in Computer Science ; 1551)

Practical aspects of declarative languages : first international workshop, PADL '99, San Antonio, Texas, USA, January 1999 : proceedings -- : Practical aspects of declarative languages : International workshop : 1st : Jan 1999, San Antonio, TX. (Lecture Notes in Computer Science ; 1551)
Paper図書
Springer1999.<M17-01-0562>
National Diet Library
  • Author HeadingCOMPULOG AMERICAS. Association for Logic Programming. New Mexico State University. ...

Practical aspects of declarative languages : second international workshop, PADL 2000, Boston, MA, USA, January 2000 : proceedings -- : Practical aspects of declarative languages : International workshop : 2nd : Jan 2000, Boston, MA. (Lecture Notes in Computer Science ; 1753)

Practical aspects of declarative languages : second international workshop, PADL 2000, Boston, MA, USA, January 2000 : proceedings -- : Practical aspects of declarative languages : International workshop : 2nd : Jan 2000, Boston, MA. (Lecture Notes in Computer Science ; 1753)
Paper図書
Springer1999.<M17-01-1051>
National Diet Library
  • Author HeadingCOMPULOG AMERICAS. Association for Logic Programming. New Mexico State University. ...

Logic programming : 2nd Joint international conference and symposium : Sep 1996, Bonn, Germany.

Logic programming : 2nd Joint international conference and symposium : Sep 1996, Bonn, Germany.
Paper図書
MIT1996.<M17-00-0215>
National Diet Library
  • Author HeadingAssociation for Logic Programming.

Logic programming : 12th International conference : Jun 1995, ------.

Logic programming : 12th International conference : Jun 1995, ------.
Paper図書
MIT Pressc1995.<M17-00-0213>
National Diet Library
  • Author HeadingAssociation for Logic Programming. Keio University. Keio Institu...

Logic programming : 11th International conference : 1994, ------.

Logic programming : 11th International conference : 1994, ------.
Paper図書
MIT Press1994.<M17-00-0212>
National Diet Library
  • Author HeadingAssociation for Logic Programming. Prolog Vendors Group. Consigl...

Logic programming : 10th International conference : Jun 1993, Budapest, Hungary.

Logic programming : 10th International conference : Jun 1993, Budapest, Hungary.
Paper図書
MIT Pressc1993.<M17-00-0211>
National Diet Library
  • Author HeadingAssociation for Logic Programming.

Logic programming : North American conference : Oct 1990, Austin, TX.

Logic programming : North American conference : Oct 1990, Austin, TX.
Paper図書
MIT Press1990.<M17-91-1050>
National Diet Library
  • Author HeadingAssociation for Logic Programming.

Theory and practice of logic programming

Theory and practice of logic programming
Recording Media雑誌雑誌タイトル
Cambridge University Pressc2001-
Other Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Logic programming : 5th International conference : Aug 1988, Seattle, WA.

Logic programming : 5th International conference : Aug 1988, Seattle, WA.
Paper図書
MIT Pressc1988.<M17-90-1861>
National Diet Library
  • Author HeadingAssociation for Logic Programming. Institute of Electrical and E...

Logic program synthesis and transformation : International workshop : Jul 1991, Manchester, UK.

Logic program synthesis and transformation : International workshop : Jul 1991, Manchester, UK.
Paper図書
Springer-Verlagc1992.<M17-92-2637>
National Diet Library
  • Author HeadingAssociation for Logic Programming. UK Branch.

ALPUK 91 : 3rd UK annual conference on logic programming : Apr 1991, Edinburgh, UK.

ALPUK 91 : 3rd UK annual conference on logic programming : Apr 1991, Edinburgh, UK.
Paper図書
Springer-Verlag1992.<M17-92-2635>
National Diet Library
  • Author HeadingBritish Computer Society. Association for Logic Programming. UK Branch.

Logic programming : proceedings of the 1994 international symposium

Logic programming : proceedings of the 1994 international symposium
Paper図書
edited by Maurice BruynoogheMITc1994
Other Libraries in Japan
RSS