Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994
Details
- OL Work ID
- OL5005598W
Subjects
CongressesSymbolic and mathematical LogicComputer science