Jump to main content

yr 〜
yr

Search results 4

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004 : Venice, Italy, January 11-13, 2004 : proceedings. : Jan 2004, Venice, Italy. (Lecture Notes in Computer Science ; 2937)

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004 : Venice, Italy, January 11-13, 2004 : proceedings. : Jan 2004, Venice, Italy. (Lecture Notes in Computer Science ; 2937)
Paper図書
Springer-Verlagc2004.<M17-04-2460>
National Diet Library
  • Author HeadingSteffen, Bernhard. Levi, G. (Giorgio) , 1942- VMCAI 2004 (2004 : Venice, It...

Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Giorgio Levi, Mario Rodríguez Artalejo, (eds.). (Lecture notes in computer science)

Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Giorgio Levi, Mario Rodríguez Artalejo, (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9454>
National Diet Library
  • Author HeadingLevi, G. (Giorgio) , 1942- Rodríguez Artalejo, M. (Mario...

Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi (eds.). (Lecture notes in computer science)

Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1992.<M15-A8363>
National Diet Library
  • Author HeadingKirchner, H. (Hélène) Levi, G. (Giorgio) , 1942- International Conference on A...

Foundations of Logic and Functional Programming : Workshop, Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi, eds. (Lecture notes in computer science)

Foundations of Logic and Functional Programming : Workshop, Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1988.<M15-A3124>
National Diet Library
  • Author Heading...uigia) , 1946- Levi, G. (Giorgio) , 1942-

Reached to the end of result.

RSS