本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springerc2010.<M17-10-4384>
国立国会図書館
  • 件名...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)
紙図書
Springerc2010.<M17-10-2807>
国立国会図書館
  • 件名...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)
紙図書
Springerc2013.<M17-14-1560>
国立国会図書館
  • 件名...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)
紙図書
Springerc2009.<M17-10-1487>
国立国会図書館

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)
紙図書
Springerc2009.<M17-10-1646>
国立国会図書館
  • 件名... 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)
紙図書
Springerc2009.<M17-10-1766>
国立国会図書館
  • 件名...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
紙図書
Luc De Raedt (ed.)Springerc2010
全国の図書館

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
紙図書
Marcello Balduccini ; Tran Cao Son (eds.)Springerc2011
全国の図書館

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
紙図書
Matthias Blume ... [et al.] (eds.)Springer2010
全国の図書館

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
紙図書
Anuj Dawar, Helmut Veith (eds.)Springerc2010
全国の図書館

検索結果は以上です。

RSS