Studiebog

5th Conference on Automated Deduction

Name: 5th Conference on Automated Deduction
Price: 174.95 DKK
Availability: InStock
ISBN: 9783540100096

- Les Arcs, France, July 8-11, 1980 (1980)

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Lecture Notes in Computer Science

Normalpris: kr. 174,95

Medlemspris: kr. 159,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
Forventet levering: 10-12-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

1 Paperback / softback VIII, 388 p.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal388
Udgivelsesdato01-06-1980
ISBN139783540100096
Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg
Nummer i serien87
FormatPaperback

Størrelse og vægt

Vægt1250 g

Dybde2,1 cm

10 cm

15,5 cm

23,3 cm

5th Conference on Automated Deduction

- Les Arcs, France, July 8-11, 1980 (1980)

Findes i disse kategorier...

Se andre, der handler om...