ID:DA06362401
LOPSTR
Workshop on Logic Program Synthesis and Transformation, International
International Workshop on Logic-based Program Synthesis and Transformation
International Symposium on Logic-based Program Synthesis and Transformation
International Workshop on Program Developmet in Computational Logic
同姓同名の著者を検索
Juliana Bowles, Harald Søndergaard, editors
Springer , [2024] , c2024 Lecture notes in computer science 14919
所蔵館1館
Danny De Schreye, (ed.)
Springer c2010 Lecture notes in computer science 6037 . LNCS sublibrary : SL 1 . Theoretical computer science and general issues
: pbk
Germán Puebla (ed.)
Springer c2007 Lecture notes in computer science 4399
所蔵館3館
Patricia M. Hill (ed.)
Springer c2006 Lecture notes in computer science 3901
所蔵館7館
Sandro Etalle (ed.)
Springer c2005 Lecture notes in computer science 3573
所蔵館11館
Maurice Bruynooghe (ed.)
Springer c2004 Lecture notes in computer science 3018
所蔵館21館
Michael Leuschel (ed.)
Springer c2003 Lecture notes in computer science 2664
所蔵館23館
Alberto Pettorossi (ed.)
Springer c2002 Lecture notes in computer science 2372
所蔵館27館
Kung-Kiu Lau (ed.)
Springer c2001 Lecture notes in computer science 2042
所蔵館30館
Annalisa Bossi (ed.)
Springer c2000 Lecture notes in computer science 1817
所蔵館33館
Norbert E. Fuchs (ed.)
Springer c1998 Lecture notes in computer science 1463
所蔵館42館
John Gallagher (ed.)
Springer c1997 Lecture notes in computer science 1207
所蔵館49館
Springer c1996 Lecture notes in computer science 1048
所蔵館58館
Laurent Fribourg, Franco Turini (Eds.)
Springer-Verlag c1994 Lecture notes in computer science 883
所蔵館56館
Yves Deville, ed
Springer-Verlag c1994 Workshops in computing
所蔵館13館
sponsored by the Association for Logic Programming and ALPUK ; Kung-Kiu Lau and Tim Clement, eds.
Springer-Verlag c1993 Workshops in computing
sponsored by the Association for Logic Programming and ALPUK ; T.P. Clement and K.-K. Lau, [editors]
Springer-Verlag c1992 Workshops in computing
: us , : gw
所蔵館12館
