Jump to main content

yr 〜
yr

Search results 4

Logic programming : 18th international conference, ICLP 2002 : Copenhagen, Denmark, July 29-August 1, 2002 : proceedings. : federated logic conference (FloC) : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2401)

Logic programming : 18th international conference, ICLP 2002 : Copenhagen, Denmark, July 29-August 1, 2002 : proceedings. : federated logic conference (FloC) : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2401)
Paper図書
Springerc2002.<M17-07-809>
National Diet Library
  • Author HeadingAssociation of Logic Programming. Stuckey, Peter J. Internation...

Programming languages : implementations, logics, and programs : 9th International symposium : Sep 1997, Southampton, UK. (Lecture Notes in Computer Science ; 1292)

Programming languages : implementations, logics, and programs : 9th International symposium : Sep 1997, Southampton, UK. (Lecture Notes in Computer Science ; 1292)
Paper図書
Springer-Verlag1997.<M17-00-0187>
National Diet Library
  • Author HeadingBritish Computer Society. Association of Logic Programming. European Association for Prog...

Algebraic and logic programming : 6th International joint conference : Sep 1997, Southampton, UK. (Lecture Notes in Computer Science ; 1298)

Algebraic and logic programming : 6th International joint conference : Sep 1997, Southampton, UK. (Lecture Notes in Computer Science ; 1298)
Paper図書
Springer1997.<M17-00-0190>
National Diet Library
  • Author HeadingBritish Computer Society. Association of Logic Programming. European Association for Prog...

Programming languages : implementations, logics, and programs : 8th International symposium : Sep 1996, Aachen, Germany. (Lecture Notes in Computer Science ; 1140)

Programming languages : implementations, logics, and programs : 8th International symposium : Sep 1996, Aachen, Germany. (Lecture Notes in Computer Science ; 1140)
Paper図書
Springer-Verlag1996.<M17-00-0288>
National Diet Library
  • Author HeadingAssociation of Logic Programming. Esprit Compulog-Net. Rheinisc...

Reached to the end of result.

RSS