Rezultati pretraživanja - "Logic Congresses."

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

Computer logic 5 Automatic theorem proving 4 Congresses 3

Fuzzy logic 3 Intelligent agents (Computer software) 3 Computer science 2

Computational logic in multi-agent systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL., USA, January 6-7, 2004 : revised selected and invited papers

Impresum 2004

Predmet: '; “...Computer logic Congresses...”

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

Computational logic--CL 2000 : First International Conference, London, UK, July 2000 : proceedings

Impresum 2000

Predmet: '; “...Computer logic Congresses...”

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

Argumentation in multi-agent systems : first international workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004 : revised selected and invited papers

Impresum 2005

Predmet: '; “...Logic Congresses...”

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

Argumentation in multi-agent systems : second international workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005 : revised selected and invited papers

Impresum 2006

Predmet: '; “...Logic Congresses...”

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

Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 1999 : proceedings

Impresum 1999

Predmet: '; “...Induction (Logic) Congresses...”

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

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

Impresum 2006

Predmet: '; “...Computer logic Congresses...”

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

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

Impresum 2004

Predmet: '; “...Computer logic Congresses...”

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

Logical aspects of computational linguistics : 5th international conference, LACL 2005, Bordeaux, France April 2005 : proceedings

Impresum 2005

Predmet: '; “...Language and logic Congresses...”

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

Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceeding...

Impresum 2006

Predmet: '; “...Deontic logic Congresses...”

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

Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings

Impresum 2004

Predmet: '; “...Deontic logic Congresses...”

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

Fuzzy logic in artificial intelligence : IJCAI '93 workshop, Chamberry, France, August 28, 1993 : proceedings

Impresum 1994

Predmet: '; “...Fuzzy logic Congresses...”

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

Fuzzy logic and applications : 6th international workshop, WILF 2005, Crema, Italy, September 15-17, 2005 : revised selected papers

Impresum 2006

Predmet: '; “...Fuzzy logic Congresses...”

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

Computational logic in multi-agent systems : 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers

Impresum 2005

Predmet: '; “...Computer logic Congresses...”

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

Fuzzy logic and applications : 5th international workshop, WILF 2003, Naples, Italy, October 9-11, 2003 : revised selected papers

Impresum 2006

Predmet: '; “...Fuzzy logic Congresses...”

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

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings

Impresum 1996

Predmet: '; “...Nonclassical mathematical logic Congresses...”

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

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings

Impresum 1995

Predmet: '; “...Nonclassical mathematical logic Congresses...”

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

Ograniči pretraživanje