Rezultati pretraživanja

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

Logic, Symbolic and mathematical Automatic theorem proving 12 Artificial intelligence 11

Congresses 8 Data processing 6 Geometry 5

prikaži više ...

Slika naslovnice

Introduction to the foundations of mathematics

Autor: Wilder, Raymond Louis, 1896-1982
Impresum 1958

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

Slika naslovnice

Communication: a logical model

Autor: Harrah, David
Impresum 1963

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

Slika naslovnice

Matematička logika / 1 dio: klasična logika sudova

Autor: Devidé, Vladimir
Impresum 1964

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

Slika naslovnice

Grundzuge der theoretischen Logik

Autor: Hilbert, David, 1862-1943
Impresum 1946

Izdanje: 2, prom. izd

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

Slika naslovnice

Modelling with words : learning, fusion, and reasoning within a formal linguistic representation framework

Impresum 2003

Lokacija:
• Fakultet elektrotehnike i računarstva
Publisher description
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

Formal concept analysis : foundations and applications

Impresum 2005

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

Slika naslovnice

Concept lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings

Impresum 2004

Lokacija:
• Fakultet elektrotehnike i računarstva
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

Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings

Impresum 2004

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

Slika naslovnice

Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings

Impresum 2002

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

Slika naslovnice

Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30-October 3, 1996, proceedings

Impresum 1996

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

Slika naslovnice

Logics in artificial intelligence : 10th European conference, JELIA 2006, Liverpool, UK, September 13-15, 2006 : proceedings

Impresum 2006

Lokacija:
• Fakultet elektrotehnike i računarstva
Restricted to SpringerLink subscribers
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

Slika naslovnice

Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers

Impresum 1998

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

Slika naslovnice

Grammatical inference : algorithms and applications : 8th international colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings

Impresum 2006

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