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

" Logical foundations of computer science "


Document Type : BL
Record Number : 605716
Doc. No : b434935
Main Entry : LFCS 2013(2013 :, San Diego, Calif.)
Title & Author : Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /\ Sergei Artemov, Anil Nerode (eds.)
Publication Statement : Berlin ;New York :: Springer,, c2013
Series Statement : Lecture notes in computer science,; 7734
: LNCS sublibrary. SL 1, Theoretical computer science and general issues
Page. NO : 1 online resource
ISBN : 9783642357220 (electronic bk.)
: : 3642357229 (electronic bk.)
: 9783642357213
Notes : International conference proceedings
: Includes author index
Subject : Computer science, Congresses
Subject : Computer logic, Congresses
Dewey Classification : ‭004‬
LC Classification : ‭QA75.5‬‭.L43 2013‬
: ‭QA75.5‬‭.L43 2013‬
Added Entry : Artemov, S. N
: Nerode, Anil,1932-
Added Entry : Ohio Library and Information Network
Parallel Title : LFCS 2013
کپی لینک

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

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