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

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

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

Congresses 8 Data processing 6 Geometry 5

prikaži više ...

Introduction to the foundations of mathematics

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

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

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

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

Autor: Devidé, Vladimir
Impresum 1964

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

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

Grundzuge der theoretischen Logik

Autor: Hilbert, David, 1862-1943
Impresum 1946

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

Izdanje: 2, prom. izd

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

The anatomy of mathematics

Autor: Kershner, R. B. 1913-
Impresum 1950

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

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

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

Mathematische Logik; ihre Grundprobleme in Theorie und Anwendung

Autor: Strombach, Werner
Impresum 1972

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

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

Communication: a logical model

Autor: Harrah, David
Impresum 1963

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

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

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

Impresum 2005

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

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

Ograniči pretraživanje