Logic and computer science

Name: Logic and computer science
Author: / S. Homer... [et al.]

المؤلف

/ S. Homer... [et al.]

طبع 1

قائمة

شناسنامه

العنوان واسم المؤلف

Logic and computer science / / S. Homer... [et al.]

بيانات النشر

برلین : : Springer - Verlag، 1990م

المواصفات الشكلية

162p.؛ ; 25 cm؛ : ill..

الموضوع

Logic, Symbolic and mathematical
Congresses
Programming language (Electronic Computers)
Syntax
Computational complextiy
Congresses

مسلسل

(Lecture notes in mathematics؛ ; 1429)

المعرّفات المضافة

Homer, S.(Steven)، نویسنده .
Odifreddi, Piergiorgio, 1950-، نویسنده .
Centro internazionale matematico estivo، نویسنده .

اللغة

انگلیسی

رقم الاسترجاع

المؤتمر:

انگليسي.

Includes bibliographical references.