Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers /

Bibliographic Details
Corporate Authors:	Workshop on Computer Science Logic Kazimierz Dolny, Poland, SpringerLink (Online service)
Other Authors:	Pacholski, Leszek, Tiuryn, Jerzy
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1995]
Series:	Lecture notes in computer science ; 933.
Subjects:	Computer science > Congresses. Logic, Symbolic and mathematical > Congresses. théorie catégorie. sémantique. programmation en logique. théorie démonstration. lambda calcul. logique informatique. Informatique > Congrès. Logique symbolique et mathématique > Congrès. Computer science. Logic, Symbolic and mathematical. Fundamentele informatica. Logica. Programmeertalen. Ciencia da computacao ou informatica. Electronic books. Conference proceedings. Electronic resources (Books)
Online Access:	Connect to the full text of this electronic book

Evans: Library Stacks