Jump to main content

yr 〜
yr

Search results 6

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings / A. Beaumont, G. Gupta (eds.). (Lecture notes in computer science)

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings / A. Beaumont, G. Gupta (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlag1991.<M15-A8057>
National Diet Library
  • Subject Heading...-- Congresses. Logic programming (Computer science) -- Congresses.

Logic program synthesis and transformation : 6th International Workshop, LOPSTR '96, Stockholm, Sweden, August 28-30, 1996 : proceedings

Logic program synthesis and transformation : 6th International Workshop, LOPSTR '96, Stockholm, Sweden, August 28-30, 1996 : proceedings
Paper図書
John Gallagher (ed.)Springerc1997
Other Libraries in Japan
  • Subject HeadingLogic programming (Computer science) -- Congresses
  • Subject Heading (ID)Logic programming (Computer science) -- Congresses

Non-monotonic extensions of logic programming : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers : gw : us

Non-monotonic extensions of logic programming : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers : gw : us
Paper図書
Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski (eds.)Springer-Verlagc1995
Other Libraries in Japan
  • Subject Heading... -- Congresses Logic programming (Computer science) -- Congresses
  • Subject Heading (ID)... -- Congresses Logic programming (Computer science) -- Congresses

Logic program synthesis and transformation : proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 : us : gw

Logic program synthesis and transformation : proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 : us : gw
Paper図書
sponsored by the Association for Logic Programming and ALPUK ; T.P. Clement and K.-K. Lau, [editors]Springer-Verlagc1992
Other Libraries in Japan
  • Subject HeadingLogic programming (Computer science) -- Congresses
  • Subject Heading (ID)Logic programming (Computer science) -- Congresses

Integration of declarative paradigms : proceedings of the ICLP '94 Post-Conference Workshop, Santa Margherita Ligure, Italy

Integration of declarative paradigms : proceedings of the ICLP '94 Post-Conference Workshop, Santa Margherita Ligure, Italy
Paper図書
Hassan Ait-Kaci, Michael Hanus, Juan Jose Moreno Navarro (eds.)Max-Planck-Institut für Informatik1994
Other Libraries in Japan
  • Subject Heading... -- Congresses Logic programming (Computer science) -- Congresses
  • Subject Heading (ID)... -- Congresses Logic programming (Computer science) -- Congresses

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings : gw : us

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings : gw : us
Paper図書
A. Beaumont, G. Gupta (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Subject Heading... -- Congresses Logic programming (Computer science) -- Congresses
  • Subject Heading (ID)... -- Congresses Logic programming (Computer science) -- Congresses

Reached to the end of result.

RSS