Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker
Heftet /
1991
/ Tysk
Produktdetaljer
ISBN
9783528147181
Publisert
1991-10-01
Utgave
2. utgave
Utgiver
Springer Fachmedien Wiesbaden
Høyde
244 mm
Bredde
170 mm
Aldersnivå
Graduate, P, 06
Språk
Product language
Tysk
Format
Product format
Heftet
With
Forfatter
Springer Book Archives
Produktdetaljer
ISBN
9783528147181
Publisert
1991-10-01
Utgave
2. utgave
Utgiver
Springer Fachmedien Wiesbaden
Høyde
244 mm
Bredde
170 mm
Aldersnivå
Graduate, P, 06
Språk
Product language
Tysk
Format
Product format
Heftet
With
Forfatter