| 1 |
"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
|
2004 |
Okänt |
| 2 |
"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
|
2006 |
Okänt |
| 3 |
"Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings"
|
Workshop on Computer Science Logic
|
1999 |
Okänt |
| 4 |
"CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings"
|
Workshop on Computer Science Logic
|
1990 |
Okänt |
| 5 |
"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
|
1998 |
Okänt |
| 6 |
"Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings"
|
Workshop on Computer Science Logic
|
1991 |
Okänt |
| 7 |
"Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers"
|
Workshop on Computer Science Logic
|
1995 |
Okänt |
| 8 |
Computer science logic : 12th international workshop, csl'98, annual conference of the eacsl, brno, czech republic, august 24-28, 1998, proceedings / edited by Georg Gottlob, Etienne Grandjean, Katrin Seyr
|
Workshop on Computer Science Logic
|
uuuu-uuuu |
Okänt |
| 9 |
Computer Science Logic electronic resource : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings / edited by Laurent Fribourg
|
France) Workshop on Computer Science Logic Paris
|
uuuu-uuuu |
Okänt |
| 10 |
Computer Science Logic electronic resource : 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers / edited by Leszek Pacholski, Jerzy Tiuryn
|
Workshop on Computer Science Logic
|
uuuu-uuuu |
Okänt |
| 11 |
Computer Science Logic electronic resource : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings / edited by Peter G. Clote, Helmut Schwichtenberg
|
Germany) Workshop on Computer Science Logic Fischbachau
|
uuuu-uuuu |
Okänt |
| 12 |
Deontic Logic in Computer Science electronic resource : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings / edited by Alessio Lomuscio, Donald Nute
|
Madeira Islands) 2004 : (7th International Workshop on Deontic Logic in Computer Science Madeira
|
uuuu-uuuu |
Okänt |
| 13 |
Computer Science Logic electronic resource : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld
|
Workshop on Computer Science Logic
|
uuuu-uuuu |
Okänt |
| 14 |
Computer Science Logic electronic resource : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers / edited by Mogens Nielsen, Wolfgang Thomas
|
Workshop on Computer Science Logic
|
uuuu-uuuu |
Okänt |
| 15 |
Deontic Logic in Computer Science electronic resource : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / edited by Guido Governatori, Giovanni Sartor
|
Italy) 2010 July 7-9 : (10th International Workshop on Deontic Logic in Computer Science Fiesole
|
uuuu-uuuu |
Okänt |
| 16 |
Computer Science Logic electronic resource : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September / edited by Julian Bradfield
|
Scotland) 2002 : (16th Workshop on Computer Science Logic Edinburgh
|
uuuu-uuuu |
Okänt |
| 17 |
Computer Science Logic electronic resource : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
|
Workshop on Computer Science Logic
|
uuuu-uuuu |
Okänt |
| 18 |
Computer Science Logic electronic resource : 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers / edited by Hans Kleine Buening
|
Workshop on Computer Science Logic
|
uuuu-uuuu |
Okänt |
| 19 |
CSL '89 electronic resource : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
|
Workshop on Computer Science Logic
|
uuuu-uuuu |
Okänt |
| 20 |
Computer Science Logic electronic resource : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter
|
Workshop on Computer Science Logic
|
uuuu-uuuu |
Okänt |