Jump to main content

yr 〜
yr

Search results 2

FME 2002 : formal methods -- getting it right : international symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2391)

FME 2002 : formal methods -- getting it right : international symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2391)
Paper図書
Springer2002.<M17-03-105>
National Diet Library
  • Author HeadingFormal Methods Europe. Eriksson, L.-H. (Lars-Henrik) , 1960- Lindsay, Peter Alexander, 195...

Extensions of logic programming : Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings / L-H. Eriksson, L. Hallnäs, P. Schroeder-Heister (eds.). (Lecture notes in computer science ; 596. Lecture notes in artificial intelligence)

Extensions of logic programming : Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings / L-H. Eriksson, L. Hallnäs, P. Schroeder-Heister (eds.). (Lecture notes in computer science ; 596. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1992.<M15-A8224>
National Diet Library
  • Author HeadingEriksson, L.-H. (Lars-Henrik) , 1960- Hallnäs, Lars. Schroeder-Heis...

Reached to the end of result.

RSS