-
CSL ’’87: 1ST WORKSHOP ON COMPUTER SCIENCE LOGIC, KARLSRUHE, FRG, OCTOBER 12-16, 1987. PROCEEDINGS
3,299
博客來
-
COMPUTER SCIENCE LOGIC: 5TH WORKSHOP, CSL ’’91, BERNE, SWITZERLAND, OCTOBER 7-11, 1991. PROCEEDINGS
3,299
博客來
-
COMPUTER SCIENCE LOGIC: 10TH INTERNATIONAL WORKSHOP, CSL 96, ANNUAL CONFERENCE OF THE EACSL, UTRECHT, THE NETHERLANDS, SEPTEMBER
6,450
博客來
-
CSL’’88: 2ND WORKSHOP ON COMPUTER SCIENCE LOGIC, DUISBURG, FRG, OCTOBER 3-7, 1988. PROCEEDINGS
3,299
博客來
-
CSL ’’89: 3RD WORKSHOP ON COMPUTER SCIENCE LOGIC. KAISERSLAUTERN, FRG, OCTOBER 2-6, 1989. PROCEEDINGS
3,299
博客來
-
COMPUTER SCIENCE LOGIC: 4TH WORKSHOP, CSL ’’90, HEIDELBERG, GERMANY, OCTOBER 1-5, 1990. PROCEEDINGS
3,299
博客來
-
COMPUTER SCIENCE LOGIC: 14TH INTERNATIONAL WORKSHOP, CSL 2000, ANNUAL CONFERENCE OF THE EACSL, FISCHBACHAU, GERMANY, AUGUST 21-2
7,450
博客來
-
COMPUTER SCIENCE LOGIC: 22ND INTERNATIONAL WORKSHOP, CSL 2008, 17TH ANNUAL CONFERENCE OF THE EACSL, BERTINORO, ITALY, SEPTEMBER
8,340
博客來
-
COMPUTER SCIENCE LOGIC: 24TH INTERNATIONAL WORKSHOP, CSL 2010 19TH ANNUAL CONFERENCE OF THE EACSL, BRNO, CZECH REPUBLIC, AUGUST
3,299
博客來
-
COMPUTER SCIENCE LOGIC: 15TH INTERNATIONAL WORKSHOP, CSL 2001, 10TH ANNUAL CONFERENCE OF THE EACSL, PARIS, FRANCE, SEPTEMBER 10-
6,500
博客來
-
COMPUTER SCIENCE LOGIC: 8TH WORKSHOP, CSL ’’94, KAZIMIERZ, POLAND, SEPTEMBER 25 - 30, 1994. SELECTED PAPERS
6,599
博客來
-
COMPUTER SCIENCE LOGIC: 16TH INTERNATIONAL WORKSHOP, CSL 2002, 11TH ANNUAL CONFERENCE OF THE EACSL, EDINBURGH, SCOTLAND, UK, SEP
6,599
博客來
-
COMPUTER SCIENCE LOGIC: 7TH WORKSHOP, CSL ’’93, SWANSEA, UNITED KINGDOM, SEPTEMBER 13 - 17, 1993. SELECTED PAPERS
3,299
博客來
-
COMPUTER SCIENCE LOGIC: 6TH WORKSHOP, CSL’’92, SAN MINIATO, ITALY, SEPTEMBER 28 - OCTOBER 2, 1992. SELECTED PAPERS
3,299
博客來
-
COMPUTER SCIENCE LOGIC: 11TH INTERNATIONAL WORKSHOP, CSL ’97 : ANNUAL CONFERENCE OF THE EACSL, AARHUS, DENMARK, AUGUST 23-29, 1
6,950
博客來
-
COMPUTER SCIENCE LOGIC: 21 INTERNATIONAL WORKSHOP, CSL 2007, 16TH ANNUAL CONFERENCE OF THE EACSL, LAUSANNE, SWITZERLAND, SEPTEMBER 11-15, 2007
6,599
博客來
-
COMPUTER SCIENCE LOGIC: 19TH INTERNATIONAL WORKSHOP, CSL 2005, 14TH ANNUAL CONFERENCE OF THE EACSL, OXFORD, UK, AUGUST 22-25, 20
6,950
博客來
-
COMPUTER SCIENCE LOGIC: 9TH INTERNATIONAL WORKSHOP, CSL ’’95, ANNUAL CONFERENCE OF THE EACSL PADERBORN, GERMANY, SEPTEMBER 22-29, 1995. SELECTE
3,299
博客來
-
COMPUTER SCIENCE LOGIC: 23RD INTERNATIONAL WORKSHOP, CSL 2009, 18TH ANNUAL CONFERENCE OF THE EACSL, COIMBRA, PORTUGAL, SEPTEMBER 7-11, 2009, P
6,599
博客來
-
COMPUTER SCIENCE LOGIC: 12TH INTERNATIONAL WORKSHOP, CSL’’98, ANNUAL CONFERENCE OF THE EACSL, BRNO, CZECH REPUBLIC, AUGUST 24-28, 1998, PROCEED
3,299
博客來