Computer science logic | Börger, Egon. Redacteur / Bezorger / Tekstuitgever
0/5

0 recensie
Titel
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
E. Börger ... [et al.] eds
Auteur(s)
Börger, Egon. Redacteur / Bezorger / Tekstuitgever
Auteur(s)
Workshop on computer science logic. 4th, October 1-5, 1990
ISBN
3-540-54487-9 ; 0-387-54487-9 ((Berlin))
Bibliografisch adres
Berlin ; New York : Springer-Verlag, 1991
Taal
Engels
Land
Germany
Collatie
VIII, 391 pages ; 25 cm
Type inhoud
tekst
Type drager
volume
Behoort tot
Lecture notes in computer science / Goos, Gerhard ; 533
Onderwerp(en)
Computer science - Congresses.
Logic, Symbolic and mathematical - Congresses.
Informatica -- Congressen  
Logica [Symbolische en wiskundige ] -- Congressen  
ISBD
Bekijk de ISBD weergave
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings / E. Börger. [et al.] eds. - Berlin ; New York : Springer-Verlag, 1991. - VIII, 391 pages ; 25 cm. - ISBN 3-540-54487-9.


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

Een document aanvragen

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