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.