Rezultati pretraživanja

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

Logic programming Congresses 5 Constraint programming (Computer science) 5

Automatic theorem proving 4 Nonmonotonic reasoning 4 Artificial intelligence 3

prikaži više ...

Slika naslovnice

Logic in computer science : modelling and reasoning about systems

Autor: Huth, Michael, 1962-
Impresum 2004

Izdanje: 2nd ed

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

Slika naslovnice

Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers

Impresum 1997

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

Slika naslovnice

Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings

Impresum 1997

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

Slika naslovnice

Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings

Impresum 1998

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

Slika naslovnice

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

Impresum 1999

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

Slika naslovnice

Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers

Impresum 2003

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

Slika naslovnice

Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29-October 1, 2003 : proceedings

Impresum 2003

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

Slika naslovnice

Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings

Impresum 2004

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

Slika naslovnice

Inductive logic programming : 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005 : proceedings

Impresum 2005

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

Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 :...

Impresum 2006

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

Slika naslovnice

Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25,...

Impresum 2005

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

Slika naslovnice

Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2,...

Impresum 2004

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

Slika naslovnice

Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected pape...

Impresum 2003

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

Slika naslovnice

Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings

Impresum 2005

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

Slika naslovnice

Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings

Impresum 2004

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

Slika naslovnice

Logic programming and knowledge representation : third international workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papers

Impresum 1998

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