Výsledky vyhledávání

Obálka

Higher Order Logic Theorem Proving and Its Applications : 8th international workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings

Vydáno: 1995

Kniha

Obálka

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

Vydáno: 1995

Kniha

Obálka

Theorem proving in higher order logics : 9th international conference, TPHOLs'96, Turku, Finland, August 26-30, 1996. Proceedings

Vydáno: 1996

Kniha

Obálka

Metamathematics, machines, and Gödel's proof

Autor Shankar, N. Vydáno: 1997

Kniha

Obálka

Theorem proving in higher order logics : 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997. Proceedings

Vydáno: 1997

Kniha

Obálka

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997. Proceedings

Vydáno: 1997

Kniha

Obálka

Structures in logic and computer science : A selection of essays in honor of A. Ehrenfeucht

Vydáno: 1997

Kniha

Obálka

Logika pro kurs automatizovaných systémů

Autor Bek, Roman, 1924- Vydáno: 1980

Kniha

Obálka

Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995. Selected papers

Vydáno: 1996

Kniha

Obálka

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998. Proceedings

Vydáno: 1998

Kniha

Obálka

Computer science logic : 11th international workshop, CSL '97, annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997. Selected papers

Vydáno: 1998

Kniha

Obálka

Computer science logic : 12th international workshop, CSL'98. Annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings

Vydáno: 1999

Kniha

Obálka

Computer science logic : 13th international workshop, CSL '99. 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999. Proceedings

Vydáno: 1999

Kniha

Obálka

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999. Proceedings

Vydáno: 1999

Kniha

Obálka

Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information ESSLLI '97 workshop Aix-en-Provence, France, August 11-22, 1997. Revised le...

Vydáno: 1999

Kniha

Obálka

Automated deduction in classical and non-classical logics : Selected papers

Autor Caferra, Ricardo Vydáno: 2000

Kniha

Obálka

Computational logic : CL 2000. First international conference, London, UK, July 24-28, 2000. Proceedings

Vydáno: 2000

Kniha

Obálka

Computer science logic : 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000. Proceedings

Vydáno: 2000

Kniha

Obálka

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000. Proceedings

Vydáno: 2000

Kniha

Obálka

Natural language processing and information systems : 5th International Conference on Applications of Natural Language to Information Systems. NLDB 2000, Versailles, France, June 2...

Vydáno: 2001

Kniha

1
2
3
4
5
6
7
8
9
10
11
Další »
[22]