Format:
1 Online-Ressource (xix, 1024 p.)
,
ill
,
24 cm
Edition:
Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3
ISBN:
0444898220
,
9780444898227
Series Statement:
Studies in logic and the foundations of mathematics v. 133
Note:
Includes bibliographical references and indexes
Additional Edition:
Reproduktion von Selected papers on Automath 1994
Language:
English
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
Automat
;
Formale Sprache
;
Beweisführung
;
Automatisches Beweisverfahren
;
Aufsatzsammlung