6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /

Պահպանված է:
Մատենագիտական մանրամասներ
Համատեղ հեղինակ: Conference on Automated Deduction New York, N.Y.
Այլ հեղինակներ: Loveland, Donald W.
Ձևաչափ: Գիտաժողովի նյութեր Գիրք
Լեզու:English
Հրապարակվել է: Berlin ; New York : Springer-Verlag, 1982.
Շարք:Lecture notes in computer science ; 138.
Խորագրեր:
Automatic theorem proving > Congresses.
Logic, Symbolic and mathematical > Congresses.
Նկարագրություն
Ֆիզիկական նկարագրություն:vii, 389 p. ; 25 cm.
Մատենագիտություն:Includes bibliographical references.
ISBN:0387115587

Նմանատիպ նյութեր