Computer Science Logic
9th Workshop, CSL '95, Annual Conference of the EACSL, Padebor, Germany, September 22-29, 1995, Selected Papers
Autor:
Hans Kleine Buening
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
Kč
This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference...
