IMSc Library catalog › Details for: Computer science logic: 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Normal view MARC view ISBD view

Computer science logic: 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

TextSeries: Lecture notes in computer science ; 01584Publication details: Berlin ; Springer ; 1999Description: xv, 429ISBN: 3540659226Subject(s): Computer logic Congresses

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		51554

Previous
Previous	681 LNCS Concur 99 Concurrency theory	681 LNCS Security protocols: 6th international workshop, Cambridge, UK, April 15-17, 1998	681 LNCS Intelligent agents V : agent theories, architectures, and languages: 5th International Workshop, ATAL'98	681 LNCS Computer science logic: 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings	681 LNCS Typed lambda calculi and applications: 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings	681 LNCS Logical aspects of computational linguistics: second international conference, LACL '97, Nancy, France, September 22-24, 1997 : selected papers

There are no comments on this title.

to post a comment.