Umfang:
358 S.
Serie:
Matematičeskaja logika i osnovanija matematiki
Originaltitel:
Symbolic logic and mechanical theorem proving
Anmerkung:
In kyrill. Schr.
Sprache:
Russisch
Fachgebiete:
Mathematik
Schlagwort(e):
Optimierung
;
Nichtnumerisches Verfahren
;
Nichtnumerische Datenverarbeitung
;
LISP
;
Mathematische Logik
;
Beweistheorie
;
Logik
;
Automatisches Beweisverfahren