Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers /

שמור ב:
מידע ביבליוגרפי
מחברים אחרים: Leivant, Daniel Maurice Raphaël
פורמט: ספר
שפה:English
יצא לאור: Berlin ; New York : Springer, c1995.
סדרה:Lecture notes in computer science ; 960.
נושאים:
תיאור
תיאור פיזי:viii, 514 p. : ill. ; 24 cm.
ביבליוגרפיה:Includes bibliographical references.
ISBN:3540601783