Rezultati pretraživanja - "Logic, Symbolic and mathematical Congresses."

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

Logic, Symbolic and mathematical 25 Automatic theorem proving 11 Artificial intelligence 10

Congresses 8 Data processing 5 Geometry 5

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

Impresum 2004

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

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

Impresum 2002

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

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

Impresum 1996

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

Grammatical inference : algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings

Impresum 2004

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

Grammatical inference : 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings

Impresum 1998

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

Grammatical inference and applications : second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings

Impresum 1994

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings

Impresum 2004

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings

Impresum 1998

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings

Impresum 2005

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

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

Impresum 2005

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

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

Impresum 2003

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

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

Impresum 2006

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings

Impresum 1996

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

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

Impresum 2006

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

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

Impresum 2004

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

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

Impresum 2001

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

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

Impresum 1999

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

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

Impresum 1998

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

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

Impresum 2006

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceed...

Impresum 2002

Predmet: '; “...Logic, Symbolic and mathematical Congresses...”

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

Ograniči pretraživanje