Rezultati pretraživanja

Preporučene teme... za Vaše pretraživanje.

Automatic theorem proving Logic, Symbolic and mathematical 12 Data processing 7

Artificial intelligence 5 Congresses 5 Geometry 5

prikaži više ...

Slika naslovnice

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant

Autor: Chlipala, Adam, 1981-
Impresum 2013

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

Slika naslovnice

Automated theorem proving : theory and practice

Autor: Newborn, Monroe
Impresum 2001

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

Slika naslovnice

The automation of reasoning with incomplete information : from semantic foundations to efficient computation

Autor: Schaub, Torsten
Impresum 1997

Lokacija:
• Fakultet elektrotehnike i računarstva
Publisher description
Table of contents only
Knjiga

Slika naslovnice

Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

Impresum 2005

Lokacija:
• Fakultet elektrotehnike i računarstva
Restricted to SpringerLink subscribers
Publisher description
Knjiga

Slika naslovnice

Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings

Impresum 2005

Lokacija:
• Fakultet elektrotehnike i računarstva
Table of contents
Available to Stanford-affiliated users at:
Publisher description
Knjiga

Slika naslovnice

Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

Impresum 2003

Lokacija:
• Fakultet elektrotehnike i računarstva
Publisher description
Knjiga

Slika naslovnice

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings

Impresum 2006

Lokacija:
• Fakultet elektrotehnike i računarstva
Table of contents only
Publisher description
Knjiga

Slika naslovnice

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings

Impresum 2005

Lokacija:
• Fakultet elektrotehnike i računarstva
Table of contents only
Restricted to SpringerLink subscribers
Publisher description
Knjiga

Slika naslovnice

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings

Impresum 2005

Lokacija:
• Fakultet elektrotehnike i računarstva
Restricted to Springer LINK subscribers
Publisher description
Knjiga

Slika naslovnice

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

Impresum 2003

Lokacija:
• Fakultet elektrotehnike i računarstva
Publisher description
Knjiga

Slika naslovnice

Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

Impresum 2006

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

Slika naslovnice

Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings

Impresum 2004

Lokacija:
• Fakultet elektrotehnike i računarstva
Publisher description
Knjiga

Slika naslovnice

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

Impresum 2005

Lokacija:
• Fakultet elektrotehnike i računarstva
Restricted to SpringerLink subscribers
Publisher description
Knjiga

Slika naslovnice

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

Impresum 2003

Lokacija:
• Fakultet elektrotehnike i računarstva
Publisher description
Knjiga

Slika naslovnice

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

Impresum 2000

Lokacija:
• Fakultet elektrotehnike i računarstva
Publisher description
Knjiga

Slika naslovnice

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

Impresum 1999

Lokacija:
• Fakultet elektrotehnike i računarstva
Publisher description
Knjiga

Slika naslovnice

Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

Impresum 2006

Lokacija:
• Fakultet elektrotehnike i računarstva
Publisher description
Knjiga

Slika naslovnice

Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers

Impresum 2004

Lokacija:
• Fakultet elektrotehnike i računarstva
Publisher description
Knjiga

Slika naslovnice

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers

Impresum 2001

Lokacija:
• Fakultet elektrotehnike i računarstva
Publisher description
Knjiga

Slika naslovnice

Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings

Impresum 1999

Lokacija:
• Fakultet elektrotehnike i računarstva
Publisher description
Knjiga