58 treff

Workshop on Computer Science Logic
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1990
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1989
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1988
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
Bok Engelsk 2006
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
Bok Engelsk 2005
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
Bok Engelsk 2004
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
Bok Engelsk 2003
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
Bok Engelsk 2002
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
Bok Engelsk 2001
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
Bok Engelsk 2000
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
Bok Engelsk 1999
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
Bok Engelsk 1999
Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1998
Computer science logic : 10th international workshop, CSL'96 : annual conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1997
Computer science logic : 9th international workshop, CSL '95 : annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1996
Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1995
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1994
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1991
Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1993
Computer science logic : 5th workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1992
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
Bok Engelsk 2004
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
Bok Engelsk 1993
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
Bok Engelsk 2000
Inductive logic programming : 9th international workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings
International Workshop on Inductive Logic Programming
Bok Engelsk 1999
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
Bok Engelsk 2006
Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
International Workshop on Inductive Logic Programming
Bok Engelsk 1998
Inductive logic programming : 6th international workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers
International Workshop on Inductive Logic Programming
Bok Engelsk 1997
Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings
International Workshop on Inductive Logic Programming
Bok Engelsk 1997
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
Bok Engelsk 1999
Field-programmable logic and applications : from FPGAs to computing paradigm : 8th international workshop, FPL '98, Tallinn, Estonia, August 31-September 3, 1998 : proceedings
International Workshop on Field-Programmable Logic and Applications
Bok Engelsk 1998