Your search returned 2 results.

Not what you expected? Check for suggestions

Results
		Automata, logics, and infinite games / Erich Gradel, Wolfgang Thomas, Thomas Wilke (eds.). by Grädel, Erich, 1958- Thomas, Wolfgang, 1947- Wilke, Thomas, 1965- Series: Lecture notes in computer science ; 2500 Language: İngilizce Publisher: Berlin ; New York : Springer, 2002 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA76.9.M35 A85 2002. Place hold Add to cart (remove)
		Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen, Wolfgang Thomas (eds.). by Workshop On Computer Science Logic (11th : 1997 : Aarhus, Denmark) Nielsen, M., (Mogens), 1949- Thomas, Wolfgang, 1947- European Association for Computer Science Logic. Conference (6th : 1997 : Aarhus, Denmark) Series: Lecture notes in computer science ; 1414. Language: İngilizce Publisher: Berlin ; New York : Springer, 1998 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA76.9.L63 W67 1998. Place hold Add to cart (remove)

Refine your search