國立高雄大學圖資館 |

Search result for [ subject:"Computer logic"]

164 records (0.029s)· Page 1 of 17 • 1 2 3 4 5 ... 17

1.

Computer science logic16th internati...

~
(1998 :)
- Computer science logic16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings /
- by: (1998 :); Bradfield, Julian.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2002
- ISBN: 9783540442400
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.

Computer science logic10th internati...

~
(1998 :)
- Computer science logic10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers /
- by: (1998 :); Bezem, Marc.; Dalen, Dirk van.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1997
- ISBN: 9783540631729
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.

Computer science logic11th internati...

~
(1998 :)
- Computer science logic11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers /
- by: (1998 :); Nielsen, Mogens, (1949-); SpringerLink (Online service); Thomas, Wolfgang, (1947-)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1998
- ISBN: 9783540645702
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.

Computer science logic12th internati...

~
(1998 :)
- Computer science logic12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings /
- by: (1998 :); Gottlob, Georg.; Grandjean, Etienne.; Seyr, Katrin.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1999
- ISBN: 9783540659228
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.

Computational logic - CL 2000First I...

~
(1998 :)
- Computational logic - CL 2000First International Conference, London, UK, July 24-28, 2000 : proceedings /
- by: (1998 :); Lloyd, John Wylie.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2000
- ISBN: 9783540677970
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.

Computer science logic14th Internati...

~
(1998 :)
- Computer science logic14th International Workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 : proceedings /
- by: (1998 :); Clote, Peter G.; Schwichtenberg, Helmut.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2000
- ISBN: 9783540678953
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.

Computer science logic15th internati...

~
(1998 :)
- Computer science logic15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
- by: (1998 :); Fribourg, Laurent.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2001
- ISBN: 9783540425540
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.

Computer science logic18th internati...

~
European Association for Computer Science Logic. (2004 :)
- Computer science logic18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings /
- by: European Association for Computer Science Logic. (2004 :); Marcinkowski, Jerzy, (1965-); SpringerLink (Online service); Tarlecki, Andrzej.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2004
- ISBN: 9783540230243
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.

Computer science logic17th internati...

~
(1998 :)
- Computer science logic17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Godel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings /
- by: (1998 :); Baaz, Matthias.; Makowsky, Johann A., (1948-); SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2003
- ISBN: 9783540408017
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.

Types for proofs and programsInterna...

~
(1998 :)
- Types for proofs and programsInternational Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers /
- by: (1998 :); Gimenez, Eduardo.; Paulin-Mohring, Christine.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1998
- ISBN: 9783540651376
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items