رکورد قبلیرکورد بعدی

" Theorem proving in higher order logics "


Document Type : BL
Record Number : 594397
Doc. No : b423616
Main Entry : TPHOLs 2009(2009 :, Munich, Germany)
Title & Author : Theorem proving in higher order logics : 22nd international conference ; proceedings, TPHOLs 2009, Munich, Germany, August 17-20, 2009 /\ Stefan Berghofer ... [et al.] (ed.)
Publication Statement : Berlin :: Springer,, c2009
Series Statement : Lecture notes in computer science ;; 5674
: LNCS sublibrary, SL 1, Theoretical computer science and general issues
Page. NO : 1 online resource (xi, 515 p.) :: ill
ISBN : 9783642033599
: : 3642033598
: : 9783642033582
: : 364203358x
Notes : Title from PDF t.p. (SpringerLink, viewed Dec. 10, 2009)
: Includes index
Bibliographies/Indexes : Includes bibliographical references and index
Subject : Automatic theorem proving, Congresses
LC Classification : ‭QA76.9.A96‬‭T646 2009‬
Added Entry : Berghofer, Stefan
Parallel Title : TPHOLs 2009
کپی لینک

پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟