Computer Science Logic
9th Workshop, CSL '95, Annual Conference of the EACSL, Padebor, Germany, September 22-29, 1995, Selected Papers
Autor:
Hans Kleine Buening
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.95
zł
This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference...