Treffliste - Workshop on Computer Science Logic - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

Biblioteket

23 treff

Sortering

Forsidebilde

Computer science logic : 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25-29, 2006 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (4207)
Bok Engelsk c2006

Forsidebilde

Computer science logic : 19th international workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (3634)
Bok Engelsk c2005

Forsidebilde

Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (1584)
Bok Engelsk c1999

Forsidebilde

Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (1683)
Bok Engelsk c1999

Forsidebilde

Computer science logic : 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (1862)
Bok Engelsk c2000

Forsidebilde

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (2142)
Bok Engelsk c2001

Forsidebilde

Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (2471)
Bok Engelsk c2002

Forsidebilde

Computer science logic : 17th International Workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (2803)
Bok Engelsk c2003

Forsidebilde

Computer science logic : 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (3210)
Bok Engelsk c2004

Forsidebilde

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

International Workshop on Deontic Logic in Computer Science
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (3065)
Bok Engelsk c2004

Workshop proceedings : Second International Workshop on Deontic Logic in Computer Science : Oslo, Norway, 6-8 January 1994

International Workshop on Deontic Logic in Computer Science
Inngår i serie: CompLex (nr 1/94)
Bok Engelsk cop. 1993

Forsidebilde

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

International Workshop on Deontic Logic in Computer Science
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (4048)
Bok Engelsk c2006

Forsidebilde

Field programmable logic and applications : 9th international workshop, FPL'99, Glasgow, UK, August 30-September 1, 1999 : proceedings

International Workshop on Field-Programmable Logic and Applications
Inngår i serie: Lecture notes in computer science (1673)
Bok Engelsk c1999

Forsidebilde

Inductive logic programming : 9th international workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings

International Workshop on Inductive Logic Programming
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (1634)
Bok Engelsk c1999

Forsidebilde

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

Joint ERCIM/CoLogNET International Workshop on ConstraintSolving and Constraint Logic Programming
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (3419)
Bok Engelsk c2005

Forsidebilde

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

International Workshop on Automated Deduction in Geometry
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2930)
Bok Engelsk c2004

Forsidebilde

Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers

Joint ERCIM/CoLogNET International Workshop on ConstraintSolving and Constraint Logic Programming
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2627)
Bok Engelsk c2003

Forsidebilde

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

Joint ERCIM/CoLogNET International Workshop on ConstraintSolving and Constraint Logic Programming
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (3010)
Bok Engelsk c2004

Forsidebilde

Field-programmable logic and applications : the roadmap to reconfigurable computing : 10th international conference, FPL 2000, Villach, Austria, August 27-30, 2000 : proceedings

International Workshop on Field-Programmable Logic and Applications
Inngår i serie: Lecture notes in computer science (1896)
Bok Engelsk c2000

Forsidebilde

Fuzzy logic in artificial intelligence : IJCAI'97 Workshop, Nagoya, Japan, August 23-24, 1997 : selected and invited papers

Anca L. Ralescu, James G. Shanahan (eds.)...
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (1566)
Bok Engelsk c1999

Forsidebilde

Semantics, applications, and implementation of program generation : international workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings

SAIG 2000
Inngår i serie: Lecture notes in computer science (1924)
Bok Engelsk c2000

Forsidebilde

Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings

SAIG 2001
Inngår i serie: Lecture notes in computer science (2196)
Bok Engelsk c2001

Forsidebilde

Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004 and 18th Workshop on Logic Programmming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers

International Conference on Applications of Declarative Programming and Knowledge Management
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (3392)
Bok Engelsk c2005

Ikke det du leter etter?

Søk og bestill fra andre bibliotek: Biblioteksøk