Výsledky vyhledávání - "matematická logika"

Alternativní vyhledávání:
matematicka » matematika

Obálka

Computer science logic : 7th workshop, CSL '93 Swansea, United Kingdom September 13-17, 1993. Selected papers

Vydáno: 1994

Kniha

Obálka

Field-programmable logic and applications : 7th international workshop, FPL '97, London, UK, September 1-3, 1997. Proceedings

Vydáno: 1997

Kniha

Obálka

Theory reasoning in connection calculi

Autor Baumgartner, Peter Vydáno: 1998

Kniha

Obálka

Logical aspects of computational linguistics : Second international conference, LACL'97 Nancy, France, September 22-24, 1997. Selected papers

Vydáno: 1999

Kniha

Obálka

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

Vydáno: 2000

Kniha

Obálka

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

Vydáno: 2002

Kniha

Obálka

Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings

Vydáno: 2005

Plný text

Kniha

Obálka

Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 : proceedings

Vydáno: 2007

Plný text

Kniha

Obálka

Logical aspects of computational linguistics : First international conference, LACL '96, Nancy, France, September 23-25, 1996. Selected papers

Vydáno: 1997

Kniha

Obálka

Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29 - October 2, 2000. Proceedings

Vydáno: 2000

Kniha

Obálka

Advances in artificial intelligence : KI-96. 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996. Proceedings

Vydáno: 1996

Kniha

Obálka

Logics in artificial intelligence : European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996. Proceedings

Vydáno: 1996

Kniha

Obálka

Automated reasoning with analytic tableaux and related methods : International conference, TABLEAUX '97, Pont-a-Mousson, France, May 13-16, 1997. Proceedings

Vydáno: 1997

Kniha

Obálka

Automated reasoning with analytic tableaux and related methods : International conference, Tableaux '98, Oisterwijk, the Netherlands, May 5-8, 1998. Proceedings

Vydáno: 1998

Kniha

Obálka

Logics in artificial intelligence : European workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998 : proceedings

Vydáno: 1998

Kniha

Obálka

Automated reasoning with analytic tableaux and related methods : International conference, Tableaux '99, Saratoga Springs, NY, USA, June 7-11, 1999. Proceedings

Vydáno: 1999

Kniha

Obálka

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

Vydáno: 2007

Plný text

Kniha

Obálka

Annual IEEE symposium on logic in computer science : proceedings.

Vydáno: 1991

Kniha

Obálka

Annual IEEE symposium on logic in computer science : proceedings.

Vydáno: 1992

Kniha

Obálka

Nonclassical logics and information processing : international workshop, Berlin , November 9-10, 1990 : proceedings

Vydáno: 1992

Kniha