yr 〜
yr

Search results 10

Computer science logic : 24th international workshop, CSL 2010 : 19th annual conference of the EACSL : Brno, Czech Republic, August 23-27, 2010 : proceedings. : annual conference of the European Association for Computer Science Logic : Aug 2010, Brno, Czech Republic. (Lecture Notes in Computer Science ; 6247. Advanced Research in Computing and Software Science)

Computer science logic : 24th international workshop, CSL 2010 : 19th annual conference of the EACSL : Brno, Czech Republic, August 23-27, 2010 : proceedings. : annual conference of the European Association for Computer Science Logic : Aug 2010, Brno, Czech Republic. (Lecture Notes in Computer Science ; 6247. Advanced Research in Computing and Software Science)
Paper図書
Springerc2010.<M17-10-4384>
National Diet Library
  • Subject Heading...ational logic. Logische Programmierung. Programmierlogik. Brünn <2010...

Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009 : Coimbra, Portugal, September 2009 : revised selected papers. : Sep 2009, Coimbra, Portugal. (Lecture Notes in Computer Science ; 6037)

Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009 : Coimbra, Portugal, September 2009 : revised selected papers. : Sep 2009, Coimbra, Portugal. (Lecture Notes in Computer Science ; 6037)
Paper図書
Springerc2010.<M17-10-2807>
National Diet Library
  • Subject Heading...Beweistheorie. Logische Programmierung. Programmsynthese. Programmtra...

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19 : Stellenbosch, South Africa, December 14-19, 2013 : proceedings : LPAR-19 workshop : Dec 2013, Stellenbosch, South Africa. (Lecture Notes in Computer Science ; 8312. Advanced Research in Computing and Software Science)

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19 : Stellenbosch, South Africa, December 14-19, 2013 : proceedings : LPAR-19 workshop : Dec 2013, Stellenbosch, South Africa. (Lecture Notes in Computer Science ; 8312. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-14-1560>
National Diet Library
  • Subject Heading...e Intelligenz. Logische Programmierung. Programmierlogik.

Logic programming : 25th international conference, ICLP 2009 : Pasadena, CA, USA, July 14-17, 2009 : proceedings. : Jul 2009, Pasadena, CA. (Lecture Notes in Computer Science ; 5649)

Logic programming : 25th international conference, ICLP 2009 : Pasadena, CA, USA, July 14-17, 2009 : proceedings. : Jul 2009, Pasadena, CA. (Lecture Notes in Computer Science ; 5649)
Paper図書
Springerc2009.<M17-10-1487>
National Diet Library

Computer science logic : 23rd international workshop, CSL 2009 : 18th annual conference of the EACSL : Coimbra, Portugal, September 7-11, 2009 : proceedings. : annual conference of the European Association for Computer Science Logic : Sep 2009, Coimbra, Portugal. (Lecture Notes in Computer Science ; 5771)

Computer science logic : 23rd international workshop, CSL 2009 : 18th annual conference of the EACSL : Coimbra, Portugal, September 7-11, 2009 : proceedings. : annual conference of the European Association for Computer Science Logic : Sep 2009, Coimbra, Portugal. (Lecture Notes in Computer Science ; 5771)
Paper図書
Springerc2009.<M17-10-1646>
National Diet Library
  • Subject Heading... logic. Logik. Logische Programmierung. Programmierlogik. Theoretisch...

Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009 : Potsdam, Germany, September 14-18, 2009 : proceedings. : Sep 2009, Potsdam, Germany. (Lecture Notes in Computer Science ; 5753. Lecture Notes in Artificial Intelligence)

Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009 : Potsdam, Germany, September 14-18, 2009 : proceedings. : Sep 2009, Potsdam, Germany. (Lecture Notes in Computer Science ; 5753. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-1766>
National Diet Library
  • Subject Heading...e Intelligenz) Logische Programmierung. Nichtmonotones Schlie (0xC7) ...

Inductive logic programming : 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers

Inductive logic programming : 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers
Paper図書
Luc De Raedt (ed.)Springerc2010
Other Libraries in Japan

Logic programming, knowledge representation, and nonmonotonic reasoning : essays dedicated to Michael Gelfond on the occasion of his 65th birthday

Logic programming, knowledge representation, and nonmonotonic reasoning : essays dedicated to Michael Gelfond on the occasion of his 65th birthday
Paper図書
Marcello Balduccini ; Tran Cao Son (eds.)Springerc2011
Other Libraries in Japan

Functional and logic programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19 - 21, 2010, proceedings

Functional and logic programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19 - 21, 2010, proceedings
Paper図書
Matthias Blume ... [et al.] (eds.)Springer2010
Other Libraries in Japan

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

Reached to the end of result.