دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987
مشخصات کتاب
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987
ویرایش: [1 ed.] نویسندگان: Joseph A. Goguen, José Meseguer (auth.), Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari (eds.) سری: Lecture Notes in Computer Science 250 ISBN (شابک) : 354017611X, 9783540176114 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1987 تعداد صفحات: 336 [350] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 57,000
در صورت تبدیل فایل کتاب TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Models and equality for logical programming....Pages 1-22
Fifth generation computer project: Current research activity and future plans....Pages 23-38
A compositive abstraction algorithm for combinatory logic....Pages 39-51
Linear logic and lazy computation....Pages 52-66
The natural dynamic semantics of mini-Standard ML....Pages 67-81
Listlog — A PROLOG extension for list processing....Pages 82-95
Intensional negation of logic programs: Examples and implementation techniques....Pages 96-110
Improving the execution speed of compiled Prolog with modes, clause selection, and determinism....Pages 111-125
Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph....Pages 126-139
Generating efficient code from strictness annotations....Pages 140-154
Hoisting: Lazy evaluation in a cold climate....Pages 155-166
Inductive assertion method for logic programs....Pages 167-181
Higher order generalization in program derivation....Pages 182-196
Implementing algebraically specified abstract data types in an imperative programming language....Pages 197-211
A declarative environment for concurrent logic programming....Pages 212-242
Or-parallel execution models of Prolog....Pages 243-259
Retractions: A functional paradigm for logic programming....Pages 260-275
Refined strategies for semantic unification....Pages 276-290
Extensional models for polymorphism....Pages 291-307
A type discipline for program modules....Pages 308-319
Theory and practice of canonical term functors in abstract data type specifications....Pages 320-334
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Caribbean Slave: A Biological History (Studies in Environment and History)
دانلود کتاب Plastic
دانلود کتاب Proceedings of the First International Conference on Advanced Data and Information Engineering (DaEng-2013)
