Häftad, Engelska, 1980
5th Conference on Automated Deduction
Les Arcs, France, July 8-11, 1980
Av Wolfgang Bibel, R. Kowalski
Del i serien Lecture Notes in Computer Science
545 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
Produktinformation
- Utgivningsdatum: 1980-06-01
- Mått: 155 x 233 x 22 mm
- Vikt: 610 g
- Format: Häftad
- Språk: Engelska
- Serie: Lecture Notes in Computer Science
- Antal sidor: 388
- Upplaga: 1980
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783540100096
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.