UB FFM: Suchergebnisse - Computer Science Logic

1
2
weiter
[2]

Computer science logic : 5th workshop, CSL '91, Berne, Switzerland, October 7 - 11, 1991 ; proceedings

Börger, Egon (Herausgeber)

Berlin : Springer, 1992

Buch

Computer science logic : 12th international workshop, CSL '98, Brno, Czech Republik, August 24 - 28, 1998 ; proceedings

Gottlob, Georg (Herausgeber)

Berlin : Springer, 1999

Buch

Computer science logic : 15th international workshop, CSL 2001, Paris, France, September 10 - 13, 2001 ; proceedings

Fribourg, Laurent (Herausgeber)

Berlin : Springer, 2001

Buch

Computer science logic : 19th international workshop ; proceedings

Ong, Luke

Berlin : Springer, 2005

E-Book

Computer science logic : 20th international workshop ; proceedings

Ésik, Zoltán

Berlin : Springer, 2006

E-Book

Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

Fribourg, Laurent (Verfasser)

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2001

E-Book

Computer Science Logic : 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings

Flum, Jörg (Verfasser)

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1999

E-Book

Computer Science Logic : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Börger, Egon (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1991

E-Book

Computer Science Logic : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

Pacholski, Leszek (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1995

E-Book

Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Börger, Egon (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1992

E-Book

Computer Science Logic : 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers

Dalen, Dirk (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1997

E-Book

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

Baaz, Matthias (Verfasser)

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003

E-Book

Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Börger, Egon (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1994

E-Book

Computer Science Logic : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

Bradfield, Julian (Verfasser)

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002

E-Book

Computer Science Logic : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Clote, Peter (Verfasser)

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2000

E-Book

Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Kleine Büning, Hans (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1996

E-Book

Computer Science Logic : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers

Nielsen, Mogens (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1998

E-Book

Computer Science Logic : 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings

Gottlob, Georg (Verfasser)

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1999

E-Book

Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers

Börger, E (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1993

E-Book

Computer Science Logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings

Marcinkowski, Jerzy (Verfasser)

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2004

E-Book

1
2
weiter
[2]

Treffer 1 - 20 von 26

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken