本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springer[2015]<M17-16-401>
国立国会図書館
  • 著者標目...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)
紙図書
Springerc2009.<M17-10-1487>
国立国会図書館
  • 著者標目Association 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)
紙図書
Springerc2008.<M17-09-1306>
国立国会図書館
  • 著者標目Association 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)
紙図書
Springerc2006.<M17-07-2102>
国立国会図書館
  • 著者標目Association 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)
紙図書
Springerc2007.<M17-08-1232>
国立国会図書館
  • 著者標目Association 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)
紙図書
Springerc2005.<M17-06-175>
国立国会図書館
  • 著者標目Association 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.
紙図書
MIT Press1998.<M17-00-0217>
国立国会図書館
  • 著者標目Association for Logic Programming.

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

Logic programming : 14th International Conference : Jul 1997, Leuven, Belgium.
紙図書
MIT Pressc1997.<M17-00-0216>
国立国会図書館
  • 著者標目Association 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)
紙図書
Springer1999.<M17-01-0562>
国立国会図書館
  • 著者標目COMPULOG 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)
紙図書
Springer1999.<M17-01-1051>
国立国会図書館
  • 著者標目COMPULOG 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.
紙図書
MIT1996.<M17-00-0215>
国立国会図書館
  • 著者標目Association for Logic Programming.

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

Logic programming : 12th International conference : Jun 1995, ------.
紙図書
MIT Pressc1995.<M17-00-0213>
国立国会図書館
  • 著者標目Association for Logic Programming. Keio University. Keio Institu...

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

Logic programming : 11th International conference : 1994, ------.
紙図書
MIT Press1994.<M17-00-0212>
国立国会図書館
  • 著者標目Association 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.
紙図書
MIT Pressc1993.<M17-00-0211>
国立国会図書館
  • 著者標目Association for Logic Programming.

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

Logic programming : North American conference : Oct 1990, Austin, TX.
紙図書
MIT Press1990.<M17-91-1050>
国立国会図書館
  • 著者標目Association for Logic Programming.

Theory and practice of logic programming

Theory and practice of logic programming
記録メディア雑誌雑誌タイトル
Cambridge University Pressc2001-
全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

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

Logic programming : 5th International conference : Aug 1988, Seattle, WA.
紙図書
MIT Pressc1988.<M17-90-1861>
国立国会図書館
  • 著者標目Association 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.
紙図書
Springer-Verlagc1992.<M17-92-2637>
国立国会図書館
  • 著者標目Association 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.
紙図書
Springer-Verlag1992.<M17-92-2635>
国立国会図書館
  • 著者標目British Computer Society. Association for Logic Programming. UK Branch.

Logic programming : proceedings of the 1994 international symposium

Logic programming : proceedings of the 1994 international symposium
紙図書
edited by Maurice BruynoogheMITc1994
全国の図書館
RSS