CSL '89 | Börger, Egon. Redacteur / Bezorger / Tekstuitgever
0/5

0 recensie
Titel
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
E. Börger ; H. Kleine Büning ; M.M. Richter (Eds.)
Auteur(s)
Börger, Egon. Redacteur / Bezorger / Tekstuitgever
Auteur(s)
Kleine Büning, Hans. Redacteur / Bezorger / Tekstuitgever
Auteur(s)
Richter, Michael M. Redacteur / Bezorger / Tekstuitgever
ISBN
3-540-52753-2 ; 0-387-52753-2
Bibliografisch adres
Berlin ; New York : Springer-Verlag, 1990
Taal
Engels
Land
Germany
Collatie
VI, 437 pages ; 24 cm
Annotatie
Includes bibliographical references.; A
Type inhoud
tekst
Type drager
volume
Behoort tot
Lecture notes in computer science / Goos, Gerhard ; 440
Onderwerp(en)
Computer science - Mathematics - Congresses.
Logic, Symbolic and mathematical - Congresses.
Informatica -- Wiskunde -- Congressen  
Logica [Symbolische en wiskundige ] -- Congressen  
ISBD
Bekijk de ISBD weergave
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings / E. Börger ; H. Kleine Büning ; M.M. Richter (Eds.). - Berlin ; New York : Springer-Verlag, 1990. - VI, 437 pages ; 24 cm. - Includes bibliographical references.; A. - ISBN 3-540-52753-2.


Fout of probleem melden?
Permalink
Beschikbare exemplaren worden gecheckt...

Een document aanvragen

Beschikbare exemplaren worden gecheckt...
Opladen van de verrijkingen...