Studiebog

8th International Conference on Automated Deduction

Name: 8th International Conference on Automated Deduction
Price: 419.95 DKK
Availability: InStock
ISBN: 9783540167808

- Oxford, England, July 27- August 1, 1986. Proceedings

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Lecture Notes in Computer Science

Normalpris: kr. 419,95

Medlemspris: kr. 399,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: 8-12 hverdage (Sendes fra fjernlager)
Forventet levering: 06-11-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal716
Udgivelsesdato01-07-1986
ISBN139783540167808
Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

8th International Conference on Automated Deduction

- Oxford, England, July 27- August 1, 1986. Proceedings

Findes i disse kategorier...

Se andre, der handler om...