yr 〜
yr

Search results 1

Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23 - 27, 2010, proceedings

Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23 - 27, 2010, proceedings
Paper図書
Anuj Dawar, Helmut Veith (eds.)Springerc2010
Other Libraries in Japan
  • Subject Heading...- Brünn <2010> Computational logic -- Kongress -- Brünn <2010> Logische Programmierung -- Ko...
  • Subject Heading (ID)...- Brünn <2010> Computational logic -- Kongress -- Brünn <2010> Logische Programmierung -- Ko...

Reached to the end of result.