KOBV Portal

Hits per page

hits 1 - 2 | 2 hits

Sorting

Book

Computer science logic : 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; proceedings (2000)

Clote, Peter [Sonstige] ; CSL 14 2000 Fischbachau

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV013289574

Format: XIII, 541 S.

ISBN: 3540678956

Series Statement: Lecture notes in computer science 1862

Note: Literaturangaben

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Theoretische Informatik ; Logik ; Logische Programmierung ; Programmierlogik ; Komplexitätstheorie ; Konferenzschrift ; Konferenzschrift

URL: Cover

URL: Kapitel 1

URL: Inhaltsverzeichnis

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

UB Potsdam

TU Berlin

Book

Annual Conference of the EACSL ...; 9: Computer science logic : 14th international workshop ; proceedings / CSL 2000, Fischbachau, Germany, August 21 - 26, 2000. Peter G. Clote ; Helmut Schwichtenberg (ed.) (2000)

Clote, Peter G. ; CSL (14 : 2000 : Fischbachau) 14 Fischbachau

Show associated volumes

add to watchlist on the watchlist

Details

UID:

kobvindex_ZLB12468136

Format: XIII, 541 Seiten , graph. Darst. , 24 cm

Edition: 1

ISBN: 3540678956

Series Statement: Lecture notes in computer science 1862

Note: Literaturangaben , Text engl.

Language: English

Keywords: Theoretische Informatik ; Logik ; Kongress ; Fischbachau 〈2000〉 ; Programmierlogik ; Kongress ; Fischbachau 〈2000〉 ; Logische Programmierung ; Kongress ; Fischbachau 〈2000〉 ; Kongress ; Konferenzschrift

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Berlin VÖBB/ZLB

hits 1 - 2 | 2 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg