Výsledky vyhledávání - "programování"

Obálka

Types for proofs and programs : international workshop, TYPES 2002 Berg en Dal, The Netherlands, April 24-28, 2002 : selected papers

Vydáno: 2003

Kniha

Obálka

Field-programmable logic : smart applications, new paradigms and compilers. 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, Se...

Vydáno: 1996

Kniha

Obálka

Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers

Vydáno: 2002

Kniha

Obálka

Types for proofs and programs : International workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

Vydáno: 2000

Kniha

Obálka

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

Vydáno: 1994

Kniha

Obálka

Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 : proceedings

Vydáno: 2007

Plný text

Kniha

Obálka

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Vydáno: 2003

Rukopis

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

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, Oktober 14-18, 2002 : proceedings

Vydáno: 2002

Rukopis

Obálka

Logical foundations of functional programming

Vydáno: 1990

Kniha

Obálka

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994. Proceedings

Vydáno: 1994

Kniha

Obálka

Constraints in computational logics : theory and applications. International summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999. Revised lectures

Vydáno: 2001

Kniha

Obálka

Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 2003 : proceedings

Vydáno: 2003

Plný text

Kniha

Obálka

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2004 : selected papers

Vydáno: 2004

Získat plný text

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

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers

Vydáno: 2006

Plný text

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

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