Format:
VII, 152 S.
,
graph. Darst.
Edition:
1. English ed.
ISBN:
9780521133777
,
9780521118019
,
0521133777
Uniform Title:
Les métamorphoses du calcul 〈engl.〉
Note:
Literaturverz. S. 149 - 152
,
Includes bibliographical references and index
Additional Edition:
ISBN 9781139026581
Additional Edition:
Online-Ausg. Dowek, Gilles, 1966 - Computation, proof, machine Cambridge : Cambridge University Press, 2015 ISBN 9781139026581
Language:
English
Subjects:
Computer Science
Keywords:
Mathematik
;
Automatisches Beweisverfahren
;
Algorithmus
;
Geschichte 1900-2000
;
Mathematik
;
Geschichte
