Jump to main content

yr 〜
yr

Search results 3

Frontiers of combining systems : 7th international symposium, FroCoS 2009 : Trento, Italy, September 16-18, 2009 : proceedings. : FroCoS meetings : Sep 2009, Trento, Italy. (Lecture Notes in Computer Science ; 5749. Lecture Notes in Artificial Intelligence)

Frontiers of combining systems : 7th international symposium, FroCoS 2009 : Trento, Italy, September 16-18, 2009 : proceedings. : FroCoS meetings : Sep 2009, Trento, Italy. (Lecture Notes in Computer Science ; 5749. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-1375>
National Diet Library
  • Author HeadingGhilardi, Silvio. Sebastiani, R. (Roberto) Fro...

Frontiers of combining systems : 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings

Frontiers of combining systems : 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings
Paper図書
Silvio Ghilardi, Roberto Sebastiani (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingInternational Workshop on Frontiers of Combining Systems Ghilardi, Silvio Sebastiani, Roberto

Sheaves, games, and model completions : a categorial approach to nonclassical propositional logics

Sheaves, games, and model completions : a categorial approach to nonclassical propositional logics
Paper図書
Silvio Ghilardi, Marek ZawadowskiKluwer Academicc2002
Other Libraries in Japan
  • Author HeadingGhilardi, Silvio Zawadowski, Marek

Reached to the end of result.

RSS