IMSc Library catalog › Details for: Logic at Botik '89

Normal view MARC view ISBD view

Logic at Botik '89 Proceedings Symposium, Pereslavl-Zalessky, USSR, 1989

TextSeries: Lecture notes in computer science ; 00363Publication details: Berlin ; Springer Verlag ; 1989Description: 289ISBN: 3540512373Subject(s): Logical Foundations Computer Science

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf (Opens below))		Available		34829

Previous								Next
Previous	681 LNCS Modified Branching Programs and Their Computational Power	681 LNCS MFDBS 89 - Mathematical Fundamentals of Database Systems	681 LNCS Finite Representations of CCS and TCSP Programs by Automata and Petri Nets	681 LNCS Logic at Botik '89	681 LNCS PARLE '89	681 LNCS PARLE '89	681 LNCS Synthesizing Synchronous Systems by Static Scheduling in Space-Time	Next

There are no comments on this title.

to post a comment.