Jump to main content

yr 〜
yr

Search results 88

Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings

Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings
Paper図書
Kai Brünnler, George Metcalfe (eds.)Springerc2011
Other Libraries in Japan
  • Alternative TitleTABLEAUX 2011
  • Alternative TitleTABLEAUX 2011
  • Author HeadingTABLEAUX Brünnler, Kai Metcalfe, Georg...

Automated reasoning with analytic tableaux and related methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings

Automated reasoning with analytic tableaux and related methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings
Paper図書
Nicola Olivetti (ed.)Springerc2007
Other Libraries in Japan
  • Author HeadingTABLEAUX Olivetti, Nicola

Automated reasoning with analytic tableaux and related methods : 24th international conference, TABLEAUX 2015 : Wrocław, Poland, September 21-24, 2015 : proceedings : Sep 2015, Wrocław, Poland. (Lecture Notes in Computer Science ; 9323. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : 24th international conference, TABLEAUX 2015 : Wrocław, Poland, September 21-24, 2015 : proceedings : Sep 2015, Wrocław, Poland. (Lecture Notes in Computer Science ; 9323. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-636>
National Diet Library
  • Summary, etc.... with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in ......ections named: tableaux calculi; sequent calculus; re...
  • Author HeadingTABLEAUX (Conference) (24th : 2015 : W...

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings
Paper図書
Bernhard Beckert (ed.)Springerc2005
Other Libraries in Japan
  • Author HeadingTABLEAUX Beckert, Bernhard

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings
Paper図書
Marta Cialdea Mayer, Fiora Pirri (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingTABLEAUX Cialdea Mayer, Marta Pirri, F...

Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011 : Bern, Switzerland, July 4-8, 2011 : proceedings : Jul 2011, Bern, Switzerland. (Lecture Notes in Computer Science ; 6793. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011 : Bern, Switzerland, July 4-8, 2011 : proceedings : Jul 2011, Bern, Switzerland. (Lecture Notes in Computer Science ; 6793. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-12-40>
National Diet Library
  • Note (General)...njunction with TABLEAUX 2011: (...)" -- pref.
  • Author HeadingTABLEAUX 2011 (2011 : Bern, Switzerlan...

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
Paper図書
Uwe Egly, Christian G. Fermüller (eds.)Springerc2002
Other Libraries in Japan
  • Alternative Title... with analytic tableaux and related me......al Conference, TABLEAUX 2002, Copenhagen, Denmark, Ju...
  • Alternative Title... with analytic tableaux and related me......al Conference, TABLEAUX 2002, Copenhagen, Denmark, Ju...
  • Author HeadingTABLEAUX Egly, Uwe Fermüller, Christia...

Automated reasoning with analytic tableaux and related methods : 22nd international conference, TABLEAUX 2013 : Nancy, France, September 16-19, 2013 : proceedings : Sep 2013, Nancy, France. (Lecture Notes in Computer Science ; 8123. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : 22nd international conference, TABLEAUX 2013 : Nancy, France, September 16-19, 2013 : proceedings : Sep 2013, Nancy, France. (Lecture Notes in Computer Science ; 8123. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-746>
National Diet Library
  • Subject Heading...oning Analytic tableaux TABLEAUX
  • Note (General)Papers. "Two workshops were held in conjunction with TABLEAUX 2013: (...)" -- pref.
  • Author HeadingTABLEAUX (Conference) (22nd : 2013 : N...

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings
Paper図書
Roy Dyckhoff (ed.)Springerc2000
Other Libraries in Japan
  • Author HeadingTABLEAUX Dyckhoff, Roy

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings
Paper図書
Neil V. Murray (ed.)Springerc1999
Other Libraries in Japan
  • Author HeadingTABLEAUX Murray, Neil V.

Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009 : Oslo, Norway, July 6-10, 2009 : proceedings. : Jul 2009, Oslo, Norway. (Lecture Notes in Computer Science ; 5607. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009 : Oslo, Norway, July 6-10, 2009 : proceedings. : Jul 2009, Oslo, Norway. (Lecture Notes in Computer Science ; 5607. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-753>
National Diet Library
  • Note (General)...s were part of TABLEAUX 2009: (...) " ......njunction with TABLEAUX 2009: (...) " -- pref.
  • Author HeadingGiese, Martin. Waaler, Arild. TABLEAUX 2009 (2009 : Oslo, Norway)

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings
Paper図書
Harrie de Swart (ed.)Springerc1998
Other Libraries in Japan
  • Note (General)...s presented at TABLEAUX'98, the Intern......ce on Analytic Tableaux and Related Methods, held on ...
  • Author HeadingTABLEAUX Swart, Harrie de

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings : kart

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings : kart
Paper図書
Didier Galmiche (ed.)Springerc1997
Other Libraries in Japan
  • Author HeadingTABLEAUX Galmiche, Didier

Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings

Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings
Paper図書
P. Miglioli ... [et al.], (eds.)Springerc1996
Other Libraries in Japan
  • Author HeadingTABLEAUX Miglioli, Pierangelo

Un été avec Homère : voyage dans le sillage d'Ulysse

Un été avec Homère : voyage dans le sillage d'Ulysse
Paper図書
Sylvain Tesson ; tableaux de Laurence Bost ; photographies de Frédéric BoissonnasÉquateursc2020
Other Libraries in Japan

Il était une fois...

Il était une fois...
Paper図書児童書
des tableaux en relief, imaginés et illustrés par: Benjamin Lacombe, design & réalisation des volumes: José Pons, une lecture par: Jean Perrot.Seuil jeunesse©2010.<Y17-B18460>
National Diet Library

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005 : Koblenz, Germany, September 14-17, 2005 : proceedings. : international conference summer Koblenz 2005 : Sep 2005, Koblenz, Germany. (Lecture Notes in Computer Science ; 3702. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005 : Koblenz, Germany, September 14-17, 2005 : proceedings. : international conference summer Koblenz 2005 : Sep 2005, Koblenz, Germany. (Lecture Notes in Computer Science ; 3702. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2005.<M17-06-191>
National Diet Library
  • Author Heading...ert, Bernhard. TABLEAUX 2005 (2005 : Koblenz, Germany...

Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings

Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
Paper図書
Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)Springer Verlagc1995
Other Libraries in Japan
  • Author HeadingTABLEAUX Baumgartner, Peter Hähnle, Re...

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003 : Rome, Italy, September 9-12, 2003 : proceedings. : Sep 2003, Rome, Italy. (Lecture Notes in Computer Science ; 2796. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003 : Rome, Italy, September 9-12, 2003 : proceedings. : Sep 2003, Rome, Italy. (Lecture Notes in Computer Science ; 2796. Lecture Notes in Artificial Intelligence)
Paper図書
Springer-Verlagc2003.<M17-04-964>
National Diet Library
  • Author HeadingCialdea Mayer, Marta, 1956- Pirri, Fiora, Dr. TABLEAUX 2003 (2003 : Rome, Italy)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2381. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2381. Lecture Notes in Artificial Intelligence)
Paper図書
Springer2002.<M17-03-99>
National Diet Library
  • Author HeadingEgly, Uwe, 1960- Fernmüller, Christian G., 1963- TABLEAUX 2002 (2002 : Copenhagen, Denm...
RSS